Image de couverture de livre

Adding Compilation Metadata To Binaries To Make Disassembly Decidable

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Engel, Daniel, Verbeek, Freek, Kumar, Pranav, Ravindran, Binoy
Format:	Preprint
Publié:	2026
Sujets:	Cryptography and Security Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Augmented Weak Distance for Fast and Accurate Bounds Checking
par: Fu, Zhoulai, et autres
Publié: (2025)

Disassembly as Weighted Interval Scheduling with Learned Weights
par: Flores-Montoya, Antonio, et autres
Publié: (2025)

The Jasmin Compiler Preserves Cryptographic Security
par: Arranz-Olmos, Santiago, et autres
Publié: (2025)

Secure Composition of Robust and Optimising Compilers
par: Kruse, Matthis, et autres
Publié: (2023)

Computationally Bounded Robust Compilation and Universally Composable Security
par: Künnemann, Robert, et autres
Publié: (2024)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
par: Thibault, Jérémy, et autres
Publié: (2024)

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
par: van der Wall, Sören, et autres
Publié: (2024)

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
par: Thibault, Jérémy, et autres
Publié: (2025)

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
par: Sharma, Reshabh K, et autres
Publié: (2026)

Deterministic Fully-Static Whole-Binary Translation without Heuristics
par: Chen, Hongyu, et autres
Publié: (2026)

Formally Verified Binary-level Pointer Analysis
par: Verbeek, Freek, et autres
Publié: (2025)

A Proof-Producing Compiler for Blockchain Applications
par: Avigad, Jeremy, et autres
Publié: (2025)

Evaluating Disassembly Errors With Only Binaries
par: Wijayadi, Lambang Akbar, et autres
Publié: (2025)

CrypTorch: PyTorch-based Auto-tuning Compiler for Machine Learning with Multi-party Computation
par: Liu, Jinyu, et autres
Publié: (2025)

OpenAPI Specification Extended Security Scheme: A method to reduce the prevalence of Broken Object Level Authorization
par: Haddad, Rami, et autres
Publié: (2022)

VEXIR2Vec: An Architecture-Neutral Embedding Framework for Binary Similarity
par: VenkataKeerthy, S., et autres
Publié: (2023)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
par: Tempel, Sören, et autres
Publié: (2024)

A Deep Dive into Function Inlining and its Security Implications for ML-based Binary Analysis
par: Abusabha, Omar, et autres
Publié: (2025)

A Type System to Ensure Non-Interference in ReScript
par: Bennetzen, Benjamin, et autres
Publié: (2024)

Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture
par: Thomas, Morgan, et autres
Publié: (2025)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
par: Lindner, Andreas, et autres
Publié: (2023)

BeePL: Correct-by-compilation kernel extensions
par: Priya, Swarn, et autres
Publié: (2025)

Compositional security definitions for higher-order where declassification
par: Menz, Jan, et autres
Publié: (2026)

Neuroforger: certified violation witnesses for smart contracts verification via LLMs
par: Bartoletti, Massimo, et autres
Publié: (2026)

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
par: Zhang, Keyang, et autres
Publié: (2026)

A Bayesian Approach to Membership Inference for Statistical Release
par: Oakley, Lisa, et autres
Publié: (2026)

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
par: Baumann, Jonathan, et autres
Publié: (2026)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
par: Cho, Hyunhum, et autres
Publié: (2026)

Misquoted No More: Securely Extracting F* Programs with IO
par: Andrici, Cezar-Constantin, et autres
Publié: (2026)

Filament: Denning-Style Information Flow Control for Rust
par: Ching, Jeffrey C., et autres
Publié: (2026)

SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs
par: Zou, Yihao, et autres
Publié: (2026)

PermRust: A Token-based Permission System for Rust
par: Gehring, Lukas, et autres
Publié: (2025)

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
par: Hassanzadeh-Nazarabadi, Yahya, et autres
Publié: (2025)

FSLH: Flexible Mechanized Speculative Load Hardening
par: Baumann, Jonathan, et autres
Publié: (2025)

Obfuscation as Instruction Decorrelation
par: Ajorian, Ali, et autres
Publié: (2024)

Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
par: Damodaran, Suresh K., et autres
Publié: (2025)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
par: Huyghebaert, Sander, et autres
Publié: (2023)

Smart Contract Languages: a comparative analysis
par: Bartoletti, Massimo, et autres
Publié: (2024)

Censor Resistant Instruction Independent Obfuscation for Multiple Programs
par: Ajorian, Ali
Publié: (2025)

On Computational Indistinguishability and Logical Relations
par: Lago, Ugo Dal, et autres
Publié: (2024)