The Ethereum Virtual Machine (EVM) enforces atomic execution through rollback, reverting all state changes when execution fails. While necessary for correctness, rollback semantics introduce a distinct attack surface affecting both on-chain execution and off-chain infrastructures. On-chain, attackers can use conditiona...
Yi-Xuan Liu, Xin-Lei Li, Yi Li· Proceedings of the ACM on So...· 0 citations
TasmScan is presented, the first bytecode-level static analysis framework for TVM that enables cross-continuation data flow reasoning without requiring source code and ablation confirms that savelist propagation is essential for resolving indirect register calls that depend on cross-continuation register passing.
Yi-Xuan Liu, Yin Wu, Yi Li· Proceedings of the 41st IEEE...· 0 citations
This work evaluates Jev, Laya, Decider, and Bespoke Nimble against specialized classifiers and language-model judges across prompt-injection detection, interaction-risk judgment, and harmful-request screening, examining decision accuracy, calibration, and selective automation.
Standardized token contracts (e.g., ERC-20) form the foundation of digital assets. However, attackers increasingly abuse this standardization to disguise malicious trap tokens. Unlike obvious violations, these contracts employ a strategy of"deceptive adherence": they strictly adhere to standard protocols to evade detec...
Yin Wu, Yi-Xuan Liu, Yi Li et al.· arXiv.org· 1 citation
PrivEscalate is presented, a large-scale benchmark for Linux privilege escalation, comprising 531 Dockerized scenarios spanning 14 sub-categories and PrivEscalate, a domain-specialized wrapper that augments a generic ReAct agent with deterministic enumeration, category matching, and step planning that improves over pri...
Yi-Xuan Liu, Zi-Long Zhen, Yin Wu et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
