Publications

69 results for Security Analysis

Position: Mind the Gap-Closing the Growing Disconnect Between Vulnerability Disclosure and AI Security
- - Lukas Bieringer
  - Sean Mcgregor
  - et al.
- 2026
- IEEE SaTML 2026
Paper
Cross-Cache Attacks for the Linux Kernel via PCP Massaging
- - Claudio Migliorelli
  - Andrea Mambretti
  - et al.
- 2026
- NDSS 2026
Conference paper
Learn more about our Security Analysis at Scale work
Distributed Broadcast Encryption for Confidential Interoperability across Private Blockchains
- - Angelo De Caro
  - Kaoutar El Khiyaoui
  - et al.
- 2026
- NDSS 2026
Conference paper
Automated Annotation Inference for MCP-based Agents
- - Grigoris Ntousakis
  - Julian James Stephen
  - et al.
- 2025
- SOSP 2025
Workshop paper
Save what must be saved: Secure context switching with Sailor
- - Neelu S. Kalani
  - Thomas Bourgeat
  - et al.
- 2025
- USENIX Security 2025
Conference paper
SoK: Automating Kernel Vulnerability Discovery and Exploit Generation
- - Anil Kurmus
  - Andrea Mambretti
  - et al.
- 2025
- WOOT 2025
Conference paper
Trust but Verify: Uncovering the Hidden Risks of Inaccurate SBOMs with JBomAudit
- - Yue Xiao
  - Dhilung Kirat
  - et al.
- 2025
- OSSNA 2025
Talk
Agile Design of Secure and Resilient AI-Centric Systems
- - Luca Carloni
  - Joseph Zuckerman
  - et al.
- 2025
- ISCA 2025
Tutorial
PAKE Combiners and Efficient Post-Quantum Instantiations
- - Julia Hesse
  - Michael Rosenberg
- 2025
- Eurocrypt 2025
Conference paper
JBomAudit: Assessing the Landscape, Compliance, and Security Implications of Java SBOMs
- - Yue Xiao
  - Dhilung Kirat
  - et al.
- 2025
- NDSS 2025
Conference paper