1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2025
PBFuzz: Agentic Directed Fuzzing for PoV Generation
Haochen Zeng, Andrew Bao, Jiajun Cheng +1
Proof-of-Vulnerability (PoV) input generation is a critical task in software security and supports downstream applications such as bug reproduction and patch validation. Generating…
cs.CR2022★ 1 cited
Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution
Zhe Ye, Ujval Misra, Jiajun Cheng +2
An optimistic rollup (ORU) scales a blockchain's throughput by delegating computation to an untrusted remote chain (L2), refereeing any state claim disagreements between mutually d…