| 2025 | Securing Modbus-Based Industrial Control Systems with Refined Multiparty Session Types. | Max Taylor, Arthur Amorim, Lance Joneckis |
| 2025 | IntelForge: Multi-Agent LLM Framework for Cyber Threat Intelligence Enrichment. | Noam Tarshish, Daniel Hodisan, Asaf Shabtai |
| 2025 | MudHunter: Internet-Scale DNS Cache Snooping for Cyber Threat Intelligence. | Bassel Succar, Joseph Khoury, Antonia Affinito, Elias Bou-Harb |
| 2025 | EM-Flow: Advanced Electromagnetic Control Flow Verification for Embedded Systems. | Carson Stillman, Jennifer Sheldon, Ian Y. Garrett, Patrick Traynor, Ryan M. Gerdes, Sara Rampazzi, Kevin R. B. Butler |
| 2025 | Proof-Carrying Answers: A Systematic Protocol for Verifiable Retrieval-Augmented Generation with Cryptographic Provenance. | Shivani Shukla, Himanshu Joshi |
| 2025 | AdvOSD: Adversarial One-Step Diffusion for Generalizable and Efficient Fake Image Detection. | Liqun Shan, Kaiying Han, Yazhou Tu, Xiali Hei |
| 2025 | EmpathAI: A Trustworthy and Secure Conversational Agent for Mental Healthcare. | Vani Seth, Ashish Pandey, Kavya Gundlapalli, Mahesh Duvvuri, Rithvik Mettu, Iris Zachary, Prasad Calyam |
| 2025 | VMIGEN: Utilizing Virtual Machine Introspection for Fuzzing Complex Closed-Source Targets. | Florian Schweins, Moritz Schloegel, Moritz Bley, Nico Schiller, Thorsten Holz |
| 2025 | TrustLeech: Privileged System Analysis using Nested Virtualization. | Matti Schulze, Paul Bergmann, Jonas Rckl, Felix C. Freiling |
| 2025 | Enhancing Noisy Functional Encryption for Privacy-Preserving Machine Learning. | Linda Scheu-Hachtel, Jasmin Zalonis |
| 2025 | Analysis of Encryption Key Zeroization from System-Wide Perspective. | Toyofumi Sawa, Kuniyasu Suzaki |
| 2025 | Evaluating Systemic Risk in DAO Networks. | Abylay Satybaldy, Kamil Tylinski, Marco Alberto Javarone, Paolo Tasca |
| 2025 | AgentNIRS: An LLM-Driven Agent for Network Intrusion Response. | Rachida Saroui, Thomas Marchioro, Alexis Olivereau |
| 2025 | The Conficker Worm - A Persistent Hospital Device Malware. | Marcus H. Sachs |
| 2025 | Zeus-IoT: Comprehensive Code Signing to Prevent IoT Device Weaponization. | Alireza Roshandel, Manuel Egele |
| 2025 | AgentCyTE: Leveraging Agentic AI to Generate Cybersecurity Training & Experimentation Scenarios. | Ana M. Rodriguez, Jaime Acosta, Anantaa Kotal, Aritran Piplai |
| 2025 | A Game-Theoretic and AI Approach to Secure and Intelligent Hospital at Home Monitoring. | Desiree Rivers, Qian Chen |
| 2025 | Flashy Backdoor: Real-world Environment Backdoor Attack on SNNs with DVS Cameras. | Roberto Riao, Gorka Abad, Stjepan Picek, Aitor Urbieta |
| 2025 | Security Risks in Medical AI: Logo-Based Trojan Attacks on Deep Learning Models. | Pavan Reddy, Nithin Reddy |
| 2025 | DP-Mix: Differentially Private Routing in Mix Networks. | Mahdi Rahimi |
| 2025 | Learned, Lagged, LLM-Splained: LLM Responses to End User Security Questions. | Vijay Prakash, Kevin Lee, Arkaprabha Bhattacharya, Danny Yuxing Huang, Jessica Staddon |
| 2025 | End-to-End Encrypted Applications with Strong Consistency Under Byzantine Actors. | Natalie Popescu, Shai Caspin, Leon Schuermann, Jingyuan Chen, Amit Levy |
| 2025 | Leaking Queries On Secure Stream Processing Systems. | Hung Pham, Viet Vo, Tien Tuan Anh Dinh, Duc Tran, Shuhao Zhang |
| 2025 | Revisiting Prime+Prune+Probe: Pitfalls and Remedies. | Moritz Peters, Florian Stolz, Jan Philipp Thoma, Tim Gneysu, Yuval Yarom |
| 2025 | PatDiscover: Privacy-Preserving Discoverability of Patients. | Jan Pennekamp, Johannes Lohmller, Niels Pressel, Sandra Geisler, Felix M. Mottaghy, Klaus Wehrle |