Copertina

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Baumann, Jonathan, Kim, Yonghyun, Farba, Yan, Hritcu, Catalin, Leatherman-Brooks, Julay
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

FSLH: Flexible Mechanized Speculative Load Hardening
di: Baumann, Jonathan, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
di: Huyghebaert, Sander, et al.
Pubblicazione: (2023)

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

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

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

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

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

A Language for Smart Contracts with Secure Control Flow (Technical Report)
di: Yao, Siqiu, et al.
Pubblicazione: (2024)

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

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

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

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

Formalization of Differential Privacy in Isabelle/HOL
di: Sato, Tetsuya, et al.
Pubblicazione: (2024)

ShadowCoT: Cognitive Hijacking for Stealthy Reasoning Backdoors in LLMs
di: Zhao, Gejian, et al.
Pubblicazione: (2025)

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

Protocols to Code: Formal Verification of a Next-Generation Internet Router
di: Pereira, João C., et al.
Pubblicazione: (2024)

LeechHijack: Covert Computational Resource Exploitation in Intelligent Agent Systems
di: Zhang, Yuanhe, et al.
Pubblicazione: (2025)

Image Hijacks: Adversarial Images can Control Generative Models at Runtime
di: Bailey, Luke, et al.
Pubblicazione: (2023)

Breaking and Fixing Defenses Against Control-Flow Hijacking in Multi-Agent Systems
di: Jha, Rishi, et al.
Pubblicazione: (2025)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
di: Arquint, Linard, 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)

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

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
di: Sharma, Reshabh K, 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)

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)

Language-Based Agent Control
di: Zhou, Timothy, et al.
Pubblicazione: (2026)

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

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

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)