Buchumschlag

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	van der Wall, Sören, Meyer, Roland
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Jasmin Compiler Preserves Cryptographic Security
von: Arranz-Olmos, Santiago, et al.
Veröffentlicht: (2025)

A Type System to Ensure Non-Interference in ReScript
von: Bennetzen, Benjamin, et al.
Veröffentlicht: (2024)

FSLH: Flexible Mechanized Speculative Load Hardening
von: Baumann, Jonathan, et al.
Veröffentlicht: (2025)

Secure Composition of Robust and Optimising Compilers
von: Kruse, Matthis, et al.
Veröffentlicht: (2023)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
von: Tempel, Sören, et al.
Veröffentlicht: (2024)

RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system
von: Tempel, Sören, et al.
Veröffentlicht: (2020)

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
von: Baumann, Jonathan, et al.
Veröffentlicht: (2026)

Computationally Bounded Robust Compilation and Universally Composable Security
von: Künnemann, Robert, et al.
Veröffentlicht: (2024)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
von: Thibault, Jérémy, et al.
Veröffentlicht: (2024)

Adding Compilation Metadata To Binaries To Make Disassembly Decidable
von: Engel, Daniel, et al.
Veröffentlicht: (2026)

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

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
von: Michael, Alexandra E., et al.
Veröffentlicht: (2022)

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
von: Sharma, Reshabh K, et al.
Veröffentlicht: (2026)

Type-Based Enforcement of Non-Interference for Choreographic Programming
von: Bertoni, Marco, et al.
Veröffentlicht: (2026)

Fully Randomized Pointers
von: Phaye, Sai Dhawal, et al.
Veröffentlicht: (2024)

A Proof-Producing Compiler for Blockchain Applications
von: Avigad, Jeremy, et al.
Veröffentlicht: (2025)

CrypTorch: PyTorch-based Auto-tuning Compiler for Machine Learning with Multi-party Computation
von: Liu, Jinyu, et al.
Veröffentlicht: (2025)

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
von: Sharp, Toby
Veröffentlicht: (2025)

I still know it's you! On Challenges in Anonymizing Source Code
von: Horlboge, Micha, et al.
Veröffentlicht: (2022)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
von: Abdelrazek, Zeyad, et al.
Veröffentlicht: (2026)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
von: Lindner, Andreas, et al.
Veröffentlicht: (2023)

Arbiter: Detecting Interference in LLM Agent System Prompts
von: Mason, Tony
Veröffentlicht: (2026)

Obfuscation as Instruction Decorrelation
von: Ajorian, Ali, et al.
Veröffentlicht: (2024)

Smart Contract Languages: a comparative analysis
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2024)

On Computational Indistinguishability and Logical Relations
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2024)

HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
von: Sarkar, Abhiroop, et al.
Veröffentlicht: (2024)

Language-Based Security for Low-Level MPC
von: Skalka, Christian, et al.
Veröffentlicht: (2024)

Constructing Trustworthy Smart Contracts
von: Chait-Roth, Devora, et al.
Veröffentlicht: (2024)

Solvent: liquidity verification of smart contracts
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2024)

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
von: Ball, Thomas, et al.
Veröffentlicht: (2024)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
von: Acay, Coşku, et al.
Veröffentlicht: (2024)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
von: Yao, Siqiu, et al.
Veröffentlicht: (2024)

An Array Intermediate Language for Mixed Cryptography
von: Ding, Vivian, et al.
Veröffentlicht: (2024)

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
von: Oakley, Lisa, et al.
Veröffentlicht: (2024)

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
von: Wen, Hongbo, et al.
Veröffentlicht: (2024)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
von: Reitz, Antonin, et al.
Veröffentlicht: (2024)

PermRust: A Token-based Permission System for Rust
von: Gehring, Lukas, et al.
Veröffentlicht: (2025)

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
von: Hassanzadeh-Nazarabadi, Yahya, et al.
Veröffentlicht: (2025)

Compositional security definitions for higher-order where declassification
von: Menz, Jan, et al.
Veröffentlicht: (2026)

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