2 papers
cs.CR2026
HIDBench: Benchmarking Large Language Models for Host-Based Intrusion Detection
Danyu Sun, Jinghuai Zhang, Yuan Tian +1
Recent benchmark efforts have advanced the evaluation of large language models (LLMs) in cybersecurity, including tasks such as penetration testing and vulnerability identification…
cs.CR2025
Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
Qifan Zhang, Zilin Shen, Imtiaz Karim +2
The Domain Name System Security Extensions (DNSSEC) are critical for preventing DNS spoofing, yet its specifications contain ambiguities and vulnerabilities that elude traditional…