2 papers
cs.CR2025
All You Need Is A Fuzzing Brain: An LLM-Powered System for Automated Vulnerability Detection and Patching
Ze Sheng, Qingxiao Xu, Jianwei Huang +5
Our team, All You Need Is A Fuzzing Brain, was one of seven finalists in DARPA's Artificial Intelligence Cyber Challenge (AIxCC), placing fourth in the final round. During the comp…
cs.PL2025
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
Haoyang Ma, Alastair F. Donaldson, Qingchao Shen +3
By July 2025, smart contracts collectively manage roughly $120 billion in assets. With Solidity remaining the dominant language for smart contract development, the correctness of S…