2 papers
cs.CR2026
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 path generation and validation. Generating a PoV…
cs.SE2026
Natural Language based Specification and Verification
Zhaorui Li, Chengyu Song
Recent frontier large language models (LLMs) have shown strong performance in identifying security vulnerabilities in large, mature open-source systems. As LLM-generated code becom…