Similar Items: SecGoal: A Benchmark for Security Goal Extraction and Formalization from Protocol Documents
- GuardSec: A Multi-Modal Web Platform for Real-Time Digital Fraud Detection, Entity Verification, and Connection Security Analysis in the African Context
- CleanBase: Detecting Malicious Documents in RAG Knowledge Databases
- KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
- On the (In-)Security of the Shuffling Defense in the Transformer Secure Inference
- CyBiasBench: Benchmarking Bias in LLM Agents for Cyber-Attack Scenarios
- On the Security of Research Artifacts