Buchumschlag

Decompiling for Constant-Time Analysis

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Arranz-Olmos, Santiago, Barthe, Gilles, Blatter, Lionel, Bouzid, Youcef, van der Wall, Sören, Zhang, Zhiyuan
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation
von: Xu, Yingte, et al.
Veröffentlicht: (2025)

Laws of Quantum Programming
von: Ying, Mingsheng, et al.
Veröffentlicht: (2024)

Automating Equational Proofs in Dirac Notation
von: Xu, Yingte, et al.
Veröffentlicht: (2024)

LLM4Decompile: Decompiling Binary Code with Large Language Models
von: Tan, Hanzhuo, et al.
Veröffentlicht: (2024)

Superset Decompilation
von: Liu, Chang, et al.
Veröffentlicht: (2026)

Register Aggregation for Hardware Decompilation
von: Rao, Varun, et al.
Veröffentlicht: (2024)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
von: Wang, Yongpan, et al.
Veröffentlicht: (2025)

The Incredible Shrinking Context... in a Decompiler Near You
von: Lagouvardos, Sifis, et al.
Veröffentlicht: (2024)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
von: Liu, Peipei, et al.
Veröffentlicht: (2025)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
von: Zhou, Zixu
Veröffentlicht: (2025)

Traq: Estimating the Quantum Cost of Classical Programs
von: Peduri, Anurudh, et al.
Veröffentlicht: (2025)

JaxDecompiler: Redefining Gradient-Informed Software Design
von: Pochelu, Pierrick
Veröffentlicht: (2024)

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly
von: Armengol-Estapé, Jordi, et al.
Veröffentlicht: (2023)

Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
von: Conoly, Owen, et al.
Veröffentlicht: (2025)

DALC-CT: Dynamic Analysis of Low-Level Code Traces for Constant-Time Verification
von: Njungle, Nges Brian, et al.
Veröffentlicht: (2026)

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
von: Chen, Yijia, et al.
Veröffentlicht: (2024)

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
von: Barthe, Gilles, et al.
Veröffentlicht: (2025)

LiveRec: Prototyping Probes by Framing Debug Protocols
von: Döderlein, Jean-Baptiste, et al.
Veröffentlicht: (2024)

Constant Optimization Driven Database System Testing
von: Zhang, Chi, et al.
Veröffentlicht: (2025)

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

Schema Evolution in Interactive Programming Systems
von: Edwards, Jonathan, et al.
Veröffentlicht: (2024)

Towards a Coq-verified Chain of Esterel Semantics
von: Berry, Gérard, et al.
Veröffentlicht: (2019)

PolyDebug: A Framework for Polyglot Debugging
von: Houdaille, Philémon, et al.
Veröffentlicht: (2025)

Diagram Control and Model Order for Sugiyama Layouts
von: Domrös, Sören, et al.
Veröffentlicht: (2024)

Quantum Gate Decomposition: A Study of Compilation Time vs. Execution Time Trade-offs
von: Rosa, Evandro C. R., et al.
Veröffentlicht: (2025)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
von: Van der Cruysse, Jonathan, et al.
Veröffentlicht: (2023)

A Pure Demand Operational Semantics with Applications to Program Analysis
von: Smith, Scott, et al.
Veröffentlicht: (2023)

Strong Priority and Determinacy in Timed CCS
von: Liquori, Luigi, et al.
Veröffentlicht: (2024)

Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
von: Zhang, Tesla, et al.
Veröffentlicht: (2025)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
von: Cuéllar, Santiago, et al.
Veröffentlicht: (2025)

Real-Time Probabilistic Programming
von: Hummelgren, Lars, et al.
Veröffentlicht: (2023)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
von: Bhanuka, Ishan, et al.
Veröffentlicht: (2024)

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

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

EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
von: Matricon, Théo, et al.
Veröffentlicht: (2024)

Qihe: A General-Purpose Static Analysis Framework for Verilog
von: Chen, Qinlin, et al.
Veröffentlicht: (2026)