2 papers
cs.CR2026
Discovery or Memorization? A Faithful Benchmark for Real-World Business-Logic Vulnerability Discovery
Rui Yang, Yichao Xu, Zhuohao Zhang +4
The rapid advancement of cybersecurity agents in vulnerability discovery has increased the need for benchmarks that evaluate their capabilities accurately. However, synthetic bench…
cs.PL2026
Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine
Zhuohao Zhang, Junkun Liu, Rui Yang +2
Dynamic taint analysis (DTA) for interpreted languages like JavaScript and Python requires three capabilities: observing host-runtime operations, maintaining parallel taint states,…