Similar Items: KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
- Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
- The Infinite Mutation Engine? Measuring Polymorphism in LLM-Generated Offensive Code
- GAFSV-Net: A Vision Framework for Online Signature Verification
- SecGoal: A Benchmark for Security Goal Extraction and Formalization from Protocol Documents
- A Unified Open-Set Framework for Scalable PUF-Based Authentication of Heterogeneous IoT Devices
- MOSAIC-Bench: Measuring Compositional Vulnerability Induction in Coding Agents