:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Yao, Shuangjie, She, Dongdong
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2505.03555
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
by: Xie, Yuchong, et al.
Published: (2025)

When Alignment Isn't Enough: Response-Path Attacks on LLM Agents
by: Luo, Mingyu, et al.
Published: (2026)

The Hashed Fractal Key Recovery (HFKR) Problem: From Symbolic Path Inversion to Post-Quantum Cryptographic Keys
by: Bouke, Mohamed Aly
Published: (2025)

Exact Hidden Paths in Noisy High Dimensional Path Spaces
by: Melo, Victor Duarte
Published: (2026)

Comment on Revisiting Neural Program Smoothing for Fuzzing
by: She, Dongdong, et al.
Published: (2024)

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution
by: Dorfmeister, Daniel, et al.
Published: (2026)

Path-wise Vulnerability Mitigation
by: Huang, Zhen, et al.
Published: (2024)

CompressionAttack: Exploiting Prompt Compression as a New Attack Surface in LLM-Powered Agents
by: Liu, Zesen, et al.
Published: (2025)

Intelligent Code Embedding Framework for High-Precision Ransomware Detection via Multimodal Execution Path Analysis
by: Gareth, Levi, et al.
Published: (2025)

Obfuscation as an Effective Signal for Prioritizing Cross-Chain Smart Contract Audits: Large-Scale Measurement and Risk Profiling
by: Zhao, Yao, et al.
Published: (2026)

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks
by: Wang, Ruoxi, et al.
Published: (2025)

SysFuSS: System-Level Firmware Fuzzing with Selective Symbolic Execution
by: Tharindu, Dakshina, et al.
Published: (2026)

FOX: Coverage-guided Fuzzing as Online Stochastic Control
by: She, Dongdong, et al.
Published: (2024)

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

Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis
by: Bailey, Joshua, et al.
Published: (2025)

Toward Unbiased Multiple-Target Fuzzing with Path Diversity
by: Rong, Huanyao, et al.
Published: (2023)

From Similarity to Vulnerability: Key Collision Attack on LLM Semantic Caching
by: Zhang, Zhixiang, et al.
Published: (2026)

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

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

Attacker Control and Bug Prioritization
by: Lacombe, Guilhem, et al.
Published: (2025)

The Path To Autonomous Cyber Defense
by: Oesch, Sean, et al.
Published: (2024)

Optimizing Virtual Payment Channel Establishment in the Face of On-Path Adversaries
by: Aumayr, Lukas, et al.
Published: (2020)

Efficient Control Flow Attestation by Speculating on Control Flow Path Representations
by: Tyler, Liam, et al.
Published: (2025)

Hardware Design and Security Needs Attention: From Survey to Path Forward
by: Ghimire, Sujan, et al.
Published: (2025)

Finding Software Supply Chain Attack Paths with Logical Attack Graphs
by: Soeiro, Luıs, et al.
Published: (2025)

OnePath: Efficient and Privacy-Preserving Decision Tree Inference in the Cloud
by: Yuan, Shuai, et al.
Published: (2024)

SPARSE: Semantic Tracking and Path Analysis for Attack Investigation in Real-time
by: Ying, Jie, et al.
Published: (2024)

Algorithmic Identity Based on Metaparameters: A Path to Reliability, Auditability, and Traceability
by: Braga, Juliao, et al.
Published: (2026)

Mirage: Defense against CrossPath Attacks in Software Defined Networks
by: Murtuza, Shariq, et al.
Published: (2024)

Condition-Triggered Cryptographic Asset Control via Dormant Authorization Paths
by: Wang, Jian Sheng
Published: (2026)

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

Divide, Conquer and Verify: Improving Symbolic Execution Performance
by: Scherb, Christopher, et al.
Published: (2023)

Learning to Locate: GNN-Powered Vulnerability Path Discovery in Open Source Code
by: Atashin, Nima, et al.
Published: (2025)

TaintSentinel: Path-Level Randomness Vulnerability Detection for Ethereum Smart Contracts
by: Rezaei, Hadis, et al.
Published: (2025)

TPPR: APT Tactic / Technique Pattern Guided Attack Path Reasoning for Attack Investigation
by: Sheng, Qi
Published: (2025)

Exploiting Cross-Layer Vulnerabilities: Off-Path Attacks on the TCP/IP Protocol Suite
by: Feng, Xuewei, et al.
Published: (2024)

SkillAttack: Automated Red Teaming of Agent Skills through Attack Path Refinement
by: Duan, Zenghao, et al.
Published: (2026)

AEGIS: White-Box Attack Path Generation using LLMs and Training Effectiveness Evaluation for Large-Scale Cyber Defence Exercises
by: Tung, Ivan K., et al.
Published: (2026)

ZAPS: A Zero-Knowledge Proof Protocol for Secure UAV Authentication with Flight Path Privacy
by: Naziri, Shayesta, et al.
Published: (2025)

Eradicating the Unseen: Detecting, Exploiting, and Remediating a Path Traversal Vulnerability across GitHub
by: Akhoundali, Jafar, et al.
Published: (2025)