2 papers
cs.CR2026
An Effective and Cost-Efficient Agentic Framework for Ethereum Smart Contract Auditing
Xiaohui Hu, Wun Yu Chan, Yuejie Shi +5
Smart contract security is paramount, but identifying intricate business logic vulnerabilities remains a persistent challenge because existing solutions consistently fall short: ma…
cs.CR2023
Fuzzing the Latest NTFS in Linux with Papora: An Empirical Study
Edward Lo, Ningyu He, Yuejie Shi +4
Recently, the first feature-rich NTFS implementation, NTFS3, has been upstreamed to Linux. Although ensuring the security of NTFS3 is essential for the future of Linux, it remains…