Copertina

FSLH: Flexible Mechanized Speculative Load Hardening

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Baumann, Jonathan, Blanco, Roberto, Ducruet, Léon, Harwig, Sebastian, Hritcu, Catalin
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Cryptography and Security Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
di: Baumann, Jonathan, et al.
Pubblicazione: (2026)

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
di: Thibault, Jérémy, et al.
Pubblicazione: (2025)

Dynamic IFC Theorems for Free!
di: Algehed, Maximilian, et al.
Pubblicazione: (2020)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
di: Thibault, Jérémy, et al.
Pubblicazione: (2024)

Misquoted No More: Securely Extracting F* Programs with IO
di: Andrici, Cezar-Constantin, et al.
Pubblicazione: (2026)

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
di: Andrici, Cezar-Constantin, et al.
Pubblicazione: (2025)

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
di: van der Wall, Sören, et al.
Pubblicazione: (2024)

Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust
di: Gülmez, Merve, et al.
Pubblicazione: (2023)

Formalizing Stack Safety as a Security Property
di: Anderson, Sean Noble, et al.
Pubblicazione: (2021)

Large Language Models for Code: Security Hardening and Adversarial Testing
di: He, Jingxuan, et al.
Pubblicazione: (2023)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
di: Reitz, Antonin, et al.
Pubblicazione: (2024)

PermRust: A Token-based Permission System for Rust
di: Gehring, Lukas, et al.
Pubblicazione: (2025)

Smart Contract Languages: a comparative analysis
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)

Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture
di: Thomas, Morgan, et al.
Pubblicazione: (2025)

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
di: Hassanzadeh-Nazarabadi, Yahya, et al.
Pubblicazione: (2025)

Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
di: Damodaran, Suresh K., et al.
Pubblicazione: (2025)

Censor Resistant Instruction Independent Obfuscation for Multiple Programs
di: Ajorian, Ali
Pubblicazione: (2025)

LockForge: Automating Paper-to-Code for Logic Locking with Multi-Agent Reasoning LLMs
di: Saha, Akashdeep, et al.
Pubblicazione: (2025)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
di: Smaragdakis, Yannis, et al.
Pubblicazione: (2025)

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
di: Gollamudi, Tarakaram, et al.
Pubblicazione: (2025)

Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
di: Zhang, Naifeng, et al.
Pubblicazione: (2025)

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach
di: Li, Fang, et al.
Pubblicazione: (2025)

Dynamic Graph-based Fingerprinting of In-browser Cryptomining
di: Sermchaiwong, Tanapoom, et al.
Pubblicazione: (2025)

zkStruDul: Programming zkSNARKs with Structural Duality
di: Krishnan, Rahul, et al.
Pubblicazione: (2025)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
di: Chen, Hung-Mao, et al.
Pubblicazione: (2025)

SMT-Boosted Security Types for Low-Level MPC
di: Skalka, Christian, et al.
Pubblicazione: (2025)

SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
di: Braunsdorf, Oliver, et al.
Pubblicazione: (2025)

Nonmalleable Progress Leakage
di: Cecchetti, Ethan
Pubblicazione: (2025)

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
di: Ramananandro, Tahina, et al.
Pubblicazione: (2025)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
di: Ren, Silei, et al.
Pubblicazione: (2025)

RustMC: Extending the GenMC stateless model checker to Rust
di: Pearce, Oliver, et al.
Pubblicazione: (2025)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
di: Amorim, Arthur, et al.
Pubblicazione: (2025)

Automated Formal Verification of a Software Fault Isolation System
di: Sotoudeh, Matthew, et al.
Pubblicazione: (2025)

Disassembly as Weighted Interval Scheduling with Learned Weights
di: Flores-Montoya, Antonio, et al.
Pubblicazione: (2025)

The Jasmin Compiler Preserves Cryptographic Security
di: Arranz-Olmos, Santiago, et al.
Pubblicazione: (2025)

Adding Compilation Metadata To Binaries To Make Disassembly Decidable
di: Engel, Daniel, et al.
Pubblicazione: (2026)

Compositional security definitions for higher-order where declassification
di: Menz, Jan, et al.
Pubblicazione: (2026)

OpenAPI Specification Extended Security Scheme: A method to reduce the prevalence of Broken Object Level Authorization
di: Haddad, Rami, et al.
Pubblicazione: (2022)

Computationally Bounded Robust Compilation and Universally Composable Security
di: Künnemann, Robert, et al.
Pubblicazione: (2024)

Obfuscation as Instruction Decorrelation
di: Ajorian, Ali, et al.
Pubblicazione: (2024)