Copertina

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sharma, Reshabh K, Grossman, Dan, Kohlbrenner, David
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Cryptography and Security Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

AC4A: Access Control for Agents
di: Sharma, Reshabh K, et al.
Pubblicazione: (2026)

SPML: A DSL for Defending Language Models Against Prompt Attacks
di: Sharma, Reshabh K, et al.
Pubblicazione: (2024)

PAuth - Precise Task-Scoped Authorization For Agents
di: Sharma, Reshabh K, et al.
Pubblicazione: (2026)

A Scheduling-Aware Defense Against Prefetching-Based Side-Channel Attacks
di: Schlüter, Till, et al.
Pubblicazione: (2024)

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

Secure Composition of Robust and Optimising Compilers
di: Kruse, Matthis, et al.
Pubblicazione: (2023)

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

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

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

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

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

A Proof-Producing Compiler for Blockchain Applications
di: Avigad, Jeremy, et al.
Pubblicazione: (2025)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
di: Michael, Alexandra E., et al.
Pubblicazione: (2022)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
di: Reitz, Antonin, 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)

PhantomFetch: Obfuscating Loads against Prefetcher Side-Channel Attacks
di: Zhang, Xingzhi, et al.
Pubblicazione: (2025)

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

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
di: Arquint, Linard, et al.
Pubblicazione: (2025)

Preventing Jailbreak Prompts as Malicious Tools for Cybercriminals: A Cyber Defense Perspective
di: Tshimula, Jean Marie, et al.
Pubblicazione: (2024)

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

The WASM Cloak: Evaluating Browser Fingerprinting Defenses Under WebAssembly based Obfuscation
di: Sakib, A H M Nazmus, et al.
Pubblicazione: (2025)

Language-Based Security for Low-Level MPC
di: Skalka, Christian, et al.
Pubblicazione: (2024)

Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
di: Damodaran, Suresh K., 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)

Retrieval-Augmented Defense: Adaptive and Controllable Jailbreak Prevention for Large Language Models
di: Yang, Guangyu, et al.
Pubblicazione: (2025)

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

Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
di: Chen, Haobin Hiroki, et al.
Pubblicazione: (2025)

Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-Procedural Path-Sensitive Taint Analysis
di: Ji, Yuchen, et al.
Pubblicazione: (2025)

On Borrowed Time -- Preventing Static Side-Channel Analysis
di: Dumitru, Robert, et al.
Pubblicazione: (2023)

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

Neuroforger: certified violation witnesses for smart contracts verification via LLMs
di: Bartoletti, Massimo, et al.
Pubblicazione: (2026)

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
di: Zhang, Keyang, et al.
Pubblicazione: (2026)

A Bayesian Approach to Membership Inference for Statistical Release
di: Oakley, Lisa, et al.
Pubblicazione: (2026)

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

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
di: Cho, Hyunhum, et al.
Pubblicazione: (2026)

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

Filament: Denning-Style Information Flow Control for Rust
di: Ching, Jeffrey C., et al.
Pubblicazione: (2026)

SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs
di: Zou, Yihao, et al.
Pubblicazione: (2026)

Deterministic Fully-Static Whole-Binary Translation without Heuristics
di: Chen, Hongyu, et al.
Pubblicazione: (2026)

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