Buchumschlag

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fabian, Xaver, Patrignani, Marco, Guarnieri, Marco, Backes, Michael
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

(Dis)Proving Spectre Security with Speculation-Passing Style
von: Arranz-Olmos, Santiago, et al.
Veröffentlicht: (2025)

The CoCompiler: DSL Lifting via Relational Compilation
von: Spargo, Naomi, et al.
Veröffentlicht: (2025)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
von: Devriese, Dominique, et al.
Veröffentlicht: (2020)

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
von: Qiu, Jie, et al.
Veröffentlicht: (2024)

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

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

Detecting speculative leaks with compositional semantics
von: Fabian, Xaver, et al.
Veröffentlicht: (2026)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
von: Huyghebaert, Sander, et al.
Veröffentlicht: (2023)

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

Compiling with Arrays
von: Richter, David, et al.
Veröffentlicht: (2024)

Membership Inference Attacks Against In-Context Learning
von: Wen, Rui, et al.
Veröffentlicht: (2024)

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

ACT: Automatically Generating Compiler Backends from Tensor Accelerator ISA Descriptions
von: Jain, Devansh, et al.
Veröffentlicht: (2025)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
von: Rinard, Martin
Veröffentlicht: (2026)

You Can Run But You Can't Hide: Runtime Protection Against Malicious Package Updates For Node.js
von: Ohm, Marc, et al.
Veröffentlicht: (2023)

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
von: Rinard, Martin
Veröffentlicht: (2026)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
von: Pirkelbauer, Peter, et al.
Veröffentlicht: (2025)

Compilation as Multi-Language Semantics
von: Bowman, William J.
Veröffentlicht: (2025)

Compiling Gradual Types with Evidence
von: Romero, José Luis, et al.
Veröffentlicht: (2025)

Compilation of Modular and General Sparse Workspaces
von: Zhang, Genghan, et al.
Veröffentlicht: (2024)

Partial Evaluation, Whole-Program Compilation
von: Fallin, Chris, et al.
Veröffentlicht: (2024)

Denotation-based Compositional Compiler Verification
von: Cheng, Zhang, et al.
Veröffentlicht: (2024)

An Optimizing Just-In-Time Compiler for Rotor
von: Trindade, João H., et al.
Veröffentlicht: (2024)

Pyrosome: Verified Compilation for Modular Metatheory
von: Jamner, Dustin, et al.
Veröffentlicht: (2025)

The Fearless Journey [Draft]
von: Webster, Nick, et al.
Veröffentlicht: (2024)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
von: Izawa, Yusuke, et al.
Veröffentlicht: (2025)

SPML: A DSL for Defending Language Models Against Prompt Attacks
von: Sharma, Reshabh K, et al.
Veröffentlicht: (2024)

Verified Lifting of Deep learning Operators
von: Zhan, Qi, et al.
Veröffentlicht: (2024)

E-Graphs as a Persistent Compiler Abstraction
von: Merckx, Jules, et al.
Veröffentlicht: (2026)

Prime Path Coverage in the GNU Compiler Collection
von: Kvalsvik, Jørgen
Veröffentlicht: (2025)

Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
von: Sundram, Shiv, et al.
Veröffentlicht: (2025)

Macro-embedding Compiler Intermediate Languages in Racket
von: Bowman, William J.
Veröffentlicht: (2025)

Compiling the Mimosa programming language to RTOS tasks
von: Huber, Nikolaus, et al.
Veröffentlicht: (2025)

Meta-compilation of Baseline JIT Compilers with Druid
von: Palumbo, Nahuel, et al.
Veröffentlicht: (2025)

Compilation Semantics for a Programming Language with Versions
von: Tanabe, Yudai, et al.
Veröffentlicht: (2023)

Scaling Optimization Over Uncertainty via Compilation
von: Cho, Minsung, et al.
Veröffentlicht: (2025)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
von: Szabo, Violet, et al.
Veröffentlicht: (2024)

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
von: Cummins, Chris, et al.
Veröffentlicht: (2024)