Similar Items: Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
- KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
- Secure Cross-Silo Synthetic Genomic Data Generation
- Agentic Vulnerability Reasoning on Windows COM Binaries
- On the (In-)Security of the Shuffling Defense in the Transformer Secure Inference
- MOSAIC-Bench: Measuring Compositional Vulnerability Induction in Coding Agents
- HELO Cryptography: A Lightweight Cryptographic System for Enhancing IoT Security in P2P Data Transmission