Papers
Deep, long-form breakdowns of recent research in AI, machine learning, security & programming languages.
10 results on this page · clear filters
Decision-Focused Learning for Cyber-Physical Risk-Aware Power Grid Operations
by Ayesha Siddiqua Dina, Ebisa D.Wollega, Afzal Hossain Sohag
ORCAGen: Orchestrating Context-Aware Malware Deception with RAG-Guided Generative AI
by Shihab Ahmed, Md Sajidul Islam Sajid, Teryl Taylor, Frederico Araujo, Tariqul Islam
KaliBench: A Fine-Grained Benchmark for Cybersecurity Tool Use on Kali Linux with Runtime-Free Verifiable Rewards
by Pengfei Li, Naufal Suryanto, Sicheng Zhang, Muzammal Naseer
AgentLSD: Evaluating AI Security Agents Under Adversarial Task Contamination
by Matteo Golinelli, Idilio Drago, Matteo Boffa, Francesco Bergadano, Bruno Crispo
You Shall Not Pass into Ring-0! A User Privacy-Friendly Anti-Cheat Architecture for Personal Computers
by Santosh Gokul Narayanan, Giovanni Paladino, Chuqi Zhang, Sangho Lee, Zhenkai Liang, Adil Ahmad
From Specs to Apps: Verifying and Monitoring Models of Signal and WhatsApp
by Moustafa Said, Aurora Naska, Kevin Morio, Robert Künnemann
Atlas: Efficient Verifiable Semantic Search
by Nikolay Avramov, Hidde Lycklama, Alexander Viand, Anwar Hithnawi
SpecGuard: Inference-Time Backdoor Detection For Free
by Rui Wen, Ahmed Salem, Andrew Paverd, Mark Russinovich, Zheng Li
The U.S. Interconnection Queue System: Cascading Vulnerability Analysis and a Resilience Engineering Framework
by Zahra Heidari
Propagation Model for SSC attacks: Why SBOM (tools) don't tell the whole truth
by Ljubica Grgic, Lazar Maksimovic, Pavel Laskov