Imagen de Portada

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Tempel, Sören, Brandt, Tobias, Lüth, Christoph, Dietrich, Christian, Drechsler, Rolf
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering Cryptography and Security Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
por: He, Ningyu, et al.
Publicado: (2024)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
por: Cloosters, Tobias, et al.
Publicado: (2026)

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

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
por: Shafiuzzaman, Md, et al.
Publicado: (2026)

BinEnhance: An Enhancement Framework Based on External Environment Semantics for Binary Code Search
por: Wang, Yongpan, et al.
Publicado: (2024)

ORCAS: Obfuscation-Resilient Binary Code Similarity Analysis using Dominance Enhanced Semantic Graph
por: Wang, Yufeng, et al.
Publicado: (2025)

Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
por: Ma, Chengyan, et al.
Publicado: (2026)

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
por: Sharp, Toby
Publicado: (2025)

SCRIBE: Practical Static Binary Patching via Binary-Aware Recompilation of Decompiled Code
por: Dai, Han, et al.
Publicado: (2026)

Unsupervised Binary Code Translation with Application to Code Similarity Detection and Vulnerability Discovery
por: Ahmad, Iftakhar, et al.
Publicado: (2024)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
por: Tu, Haoxin, et al.
Publicado: (2024)

An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security
por: Boltz, Nicolas, et al.
Publicado: (2024)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
por: Liu, Yuwei, et al.
Publicado: (2026)

An Empirical Study on Remote Code Execution in Machine Learning Model Hosting Ecosystems
por: Siddiq, Mohammed Latif, et al.
Publicado: (2026)

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

An Empirical Study on the Effectiveness of Large Language Models for Binary Code Understanding
por: Shang, Xiuwei, et al.
Publicado: (2025)

Veritas: A Semantically Grounded Agentic Framework for Memory Corruption Vulnerability Detection in Binaries
por: Zheng, Xinran, et al.
Publicado: (2026)

CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
por: Wang, Hao, et al.
Publicado: (2024)

From Solitary Directives to Interactive Encouragement! LLM Secure Code Generation by Natural Language Prompting
por: Liu, Shigang, et al.
Publicado: (2024)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
por: Hochrainer, Christoph, et al.
Publicado: (2025)

Semantic Consensus Decoding: Backdoor Defense for Verilog Code Generation
por: Yang, Guang, et al.
Publicado: (2026)

SAFuzz: Semantic-Guided Adaptive Fuzzing for LLM-Generated Code
por: Yang, Ziyi, et al.
Publicado: (2026)

Automated Generation of Accurate Privacy Captions From Android Source Code Using Large Language Models
por: Jain, Vijayanta, et al.
Publicado: (2026)

KEENHash: Hashing Programs into Function-Aware Embeddings for Large-Scale Binary Code Similarity Analysis
por: Liu, Zhijie, et al.
Publicado: (2025)

How Far Have We Gone in Binary Code Understanding Using Large Language Models
por: Shang, Xiuwei, et al.
Publicado: (2024)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
por: Hochrainer, Christoph, et al.
Publicado: (2024)

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
por: Mächtle, Felix, et al.
Publicado: (2025)

FlowMalTrans: Unsupervised Binary Code Translation for Malware Detection Using Flow-Adapter Architecture
por: Hu, Minghao, et al.
Publicado: (2025)

MCP-SandboxScan: WASM-based Secure Execution and Runtime Analysis for MCP Tools
por: Tan, Zhuoran, et al.
Publicado: (2026)

ColorGo: Directed Concolic Execution
por: Li, Jia, et al.
Publicado: (2025)

Automated Penetration Testing: Formalization and Realization
por: Skandylas, Charilaos, et al.
Publicado: (2024)

Residual Risk Analysis in Benign Code: How Far Are We? A Multi-Model Semantic and Structural Similarity Approach
por: Farhad, Mohammad, et al.
Publicado: (2026)

Fast and Accurate Silent Vulnerability Fix Retrieval
por: Liu, Xueqing, et al.
Publicado: (2025)

iblock: Accurate and Scalable Bitcoin Simulations with OMNeT++
por: Scatena, Niccolò, et al.
Publicado: (2025)

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
por: Domenech, Alvaro Alonso, et al.
Publicado: (2024)

Unveiling Dynamic Binary Instrumentation Techniques
por: Llorente-Vazquez, Oscar, et al.
Publicado: (2025)

Verify Before You Fix: Agentic Execution Grounding for Trustworthy Cross-Language Code Analysis
por: Gajjar, Jugal
Publicado: (2026)

A Large Scale Study of AI-based Binary Function Similarity Detection Techniques for Security Researchers and Practitioners
por: Shi, Jingyi, et al.
Publicado: (2025)

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis
por: Shafiuzzaman, Md, et al.
Publicado: (2024)

StagedVulBERT: Multi-Granular Vulnerability Detection with a Novel Pre-trained Code Model
por: Jiang, Yuan, et al.
Publicado: (2024)