Papers
Deep, long-form breakdowns of recent research in AI, machine learning, security & programming languages.
7 results on this page · clear filters
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