Papers
Deep, long-form breakdowns of recent research in AI, machine learning, security & programming languages.
12 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
Analog Pin Directionality as an Exfiltration Attack Surface in Mixed-Signal ICs
by Ramana Ranganatham, Chirag Adiga, Michael Zuzak, Tejasvi Das
Characterizing Network Centralization and Observability in the Remote MCP Ecosystem
by Muhammad Abdullah Sohail
When Agents Look Like Beacons: NIDS Evasion by Model Context Protocol Traffic
by Muhammad Abdullah Sohail
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
Don't Trust the Super-App: A Case Study of Russia's Max
by Richa Priyanka, Aaron Ortwein, Joel Reardon, Michael Specter, Piyush Kumar Sharma, Roya Ensafi
SpecGuard: Inference-Time Backdoor Detection For Free
by Rui Wen, Ahmed Salem, Andrew Paverd, Mark Russinovich, Zheng Li
Towards Tackling Application Logic Flaws through Autonomous Formal-Logic Modeling and Automated Reasoning
by Yiwei Fang, Yichen Liu, Ze Jin, Haoqiang Wang, Qixu Liu, Luyi Xing