Buchumschlag

Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ma, Chengyan, Shi, Jieke, Han, Ruidong, Liu, Ye, Niu, Yuqing, Lo, David
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching
von: Ma, Chengyan, et al.
Veröffentlicht: (2026)

What You Trust Is Insecure: Demystifying How Developers (Mis)Use Trusted Execution Environments in Practice
von: Niu, Yuqing, et al.
Veröffentlicht: (2025)

DITING: A Static Analyzer for Identifying Bad Partitioning Issues in TEE Applications
von: Ma, Chengyan, et al.
Veröffentlicht: (2025)

Automated TEE Adaptation with LLMs: Identifying, Transforming, and Porting Sensitive Functions in Programs
von: Han, Ruidong, et al.
Veröffentlicht: (2025)

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
von: Huang, Huihui, et al.
Veröffentlicht: (2026)

Gotcha! This Model Uses My Code! Evaluating Membership Leakage Risks in Code Models
von: Yang, Zhou, et al.
Veröffentlicht: (2023)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
von: Cloosters, Tobias, et al.
Veröffentlicht: (2026)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
von: Shafiuzzaman, Md, et al.
Veröffentlicht: (2026)

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

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
von: He, Ningyu, et al.
Veröffentlicht: (2024)

ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space
von: Chen, Chuyang, et al.
Veröffentlicht: (2025)

Semantics-Aligned, Curriculum-Driven, and Reasoning-Enhanced Vulnerability Repair Framework
von: Yang, Chengran, et al.
Veröffentlicht: (2025)

An Empirical Study of Vulnerable Package Dependencies in LLM Repositories
von: Liu, Shuhan, et al.
Veröffentlicht: (2025)

Beyond Function-Level Analysis: Context-Aware Reasoning for Inter-Procedural Vulnerability Detection
von: Li, Yikun, et al.
Veröffentlicht: (2026)

SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
von: Chen, Longfei, et al.
Veröffentlicht: (2025)

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
von: Li, Haoyu, et al.
Veröffentlicht: (2026)

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

OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
von: Ma, Jie, et al.
Veröffentlicht: (2025)

VERCATION: Precise Vulnerable Open-source Software Version Identification based on Static Analysis and LLM
von: Cheng, Yiran, et al.
Veröffentlicht: (2024)

LLM-Assisted Model-Based Fuzzing of Protocol Implementations
von: Huang, Changze, et al.
Veröffentlicht: (2025)

Synergistic Directed Execution and LLM-Driven Analysis for Zero-Day AI-Generated Malware Detection
von: Edwards, George, et al.
Veröffentlicht: (2026)

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
von: Mächtle, Felix, et al.
Veröffentlicht: (2025)

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

PatchSeeker: Mapping NVD Records to their Vulnerability-fixing Commits with LLM Generated Commits and Embeddings
von: Nguyen, Huu Hung, et al.
Veröffentlicht: (2025)

ColorGo: Directed Concolic Execution
von: Li, Jia, et al.
Veröffentlicht: (2025)

Backdoors in Code Summarizers: How Bad Is It?
von: Wang, Chenyu, et al.
Veröffentlicht: (2025)

Do Chase Your Tail! Missing Key Aspects Augmentation in Textual Vulnerability Descriptions of Long-tail Software through Feature Inference
von: Han, Linyi, et al.
Veröffentlicht: (2024)

LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models
von: Chen, Hongbo, et al.
Veröffentlicht: (2024)

ROSA: Finding Backdoors with Fuzzing
von: Kokkonis, Dimitri, et al.
Veröffentlicht: (2025)

"Elementary, My Dear Watson." Detecting Malicious Skills via Neuro-Symbolic Reasoning across Heterogeneous Artifacts
von: Wang, Shenao, et al.
Veröffentlicht: (2026)

CleanVul: Automatic Function-Level Vulnerability Detection in Code Commits Using LLM Heuristics
von: Li, Yikun, et al.
Veröffentlicht: (2024)

AIM: Automated Input Set Minimization for Metamorphic Security Testing
von: Chaleshtari, Nazanin Bayati, et al.
Veröffentlicht: (2024)

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
von: Domenech, Alvaro Alonso, et al.
Veröffentlicht: (2024)

Finding Privacy-relevant Source Code
von: Tang, Feiyang, et al.
Veröffentlicht: (2024)

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis
von: Shafiuzzaman, Md, et al.
Veröffentlicht: (2024)

Fine-grained Data Access Control for Collaborative Process Execution on Blockchain
von: Marangone, Edoardo, et al.
Veröffentlicht: (2022)

Fakeium: A Dynamic Execution Environment for JavaScript Program Analysis
von: Moreno, José Miguel, et al.
Veröffentlicht: (2024)

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

Guardians of the Ledger: Protecting Decentralized Exchanges from State Derailment Defects
von: Li, Zongwei, et al.
Veröffentlicht: (2024)

Stop Starving or Stuffing Me: Boosting Firmware Fuzzing Efficiency with On-demand Input Delivery
von: Shen, Shandian, et al.
Veröffentlicht: (2026)