The following list includes only the accepted papers of the main conference.
Saeedeh Lohrasbi, Mohammad Mamun, Ahmed Yehia, Scott Buffett and Sherif Saad. Where Cyber Agents Struggle: Bottleneck Analysis of Multi Stage LLM Agents (Short)
Sebastian Rehms, Songyang Liu and Florian Tschorsch. Making Threats Explicit: From Threat Descriptions to Logical Models (Short)
Fadi Farhat, Sofiane Aissani, Coulibaly Cheick and Mawloud Omar. When Direction Is Not Enough: A Geometric Analysis of Robust Aggregation against Federated Learning Backdoor Attacks (Short)
César Vieira, João Vitorino, Eva Maia and Isabel Praça. A Transfer Learning Benchmark to address Distribution Shift in Malware Detection
Rodrigo Castro, Eva Maia and Isabel Praça. From Benchmarks to the Wild: Evaluating the Security of LLM-Generated Python Code
Zhiju Yang, Yue Xue and Xiecongyou Yang. What AI Auditors Miss: Diagnosing and Closing the Gap Between AI and Human Web3 Security Audits
Thomas Hoger, Issam Abdeldjalil Ikhelef, Grégory Blanc, Guillaume Doyen and Philippe Owezarski. Clearing the Fog on 5G Security: An Analysis of the State of the Art, Implementations and Reference Frameworks
Arto Niemi and Parsa Sadri Sinaki. Diversification of Signed and Attested Binaries
Jing Wang, Jiahao Liu, Dong Liu and Wanqi Tao. Construction and Applications of Lattice-based Verifiable Delay Functions (Short)
Wail Zellagui, Abdessamad Imine and Yamina Tadjeddine. Teacher-Student Framework for Fraud-Intent Detection in Cryptocurrency Discussions
Zhiju Yang. Characterizing Security and Privacy Practices of News Websites
Alpha Oumar Diallo, Talal Halabi and Mohamed Mejri. Embedding Explanation Constraints into Model Training to Improve XAI Fidelity in IoT Intrusion Detection
Sundiata Keita, Carlos Philips and Prof.Dr Andreas Schaad. ChainShield: A Hybrid Machine Learning and Rule-Based Framework for Supply Chain Security Detection, Visualization, and Automated Reporting
Weicheng Wang, Nischay Gupta, Jie Pan, Piyush Nahar and Gang Li. MCP-Aware Tool-Call Security for LLM Agents: Schema-Derived Capability Policies Composed with OS Isolation
Bassirou Badiane, Valerie Viet Triem Tong and Yufei Han. From Commands to TTPs: A Deterministic Approach for Large-Scale SSH Botnet Analysis (Short)
Maurice Thierry Ndimis Ndimis Toko, Fatemeh Erfan, Martine Bellaiche and Talal Halabi. Orchestrator-free AI Agent Collaboration using Swarm Intelligence for Multi-stage Attacks Detection in IIoT
Nguyen Quang Minh Le, Thanoshan Malavarayar Vijayanandan, Gouri Ginde, Benjamin Tan and Lorenzo De Carli. On the Security of Agentic Pull Requests in GitHub: An Empirical Study (Short)
Tayssir Touili and Olzhas Zhangeldinov. Precise Android Malware Detection using CARET Model Checking (Short)
Derik Pack, Anthony Leclerc, Jordan Hopkins and Mert Pesé. LLMCluster: Fuzzing Crash Triage using Generative AI
Konur Tholl, Francois Rivest, Mariam El-Mezouar, Adrian Taylor and Ranwa Al Mallah. Distilling Knowledge from Large Language Models into Lightweight Reinforcement Learning Agents for Autonomous Cyber Operations
Seyedehakram Salehi, Fatemeh Erfan and Adel Abusitta.TASAD: Temporal Adversarial Suppression via Anomaly Detection against Stealthy Backdoor Attacks in Federated Learning
Alexandre Carrier, Kéren A. Saint-Hilaire, Rim Ben Salem, Frédéric Cuppens and Nora Boulahia-Cuppens. An Automated Framework for Generating Realistic Hybrid ABAC Datasets(Short)
Oussama El Boujjadia, Fehmi Jaafar and Montassar Ben Messaoud. Security Patching and GenAI-Driven Refactoring: An Empirical Study of Energy Overhead (Short)
Augustin Brenner, Kamel Adi, Khaled Hamouid and Myria Bouhaddi. Agentic AI for Automated Penetration Testing and Red Teaming
Mahmoud Yassin, Mahmoud Abdelhafeez Sayed and Mostafa Taha. EI-DDLGN: Efficient Encrypted Inference with Deep Differentiable Logic Gate Networks under TFHE
Weicheng Wang, Nischay Gupta, Jie Pan, Piyush Nahar and Gang Li. SecPriv: A Unified Multi-Phase Agent Skill for LLM-Assisted Security and Privacy Code Review
Anmol Pandey, Aditya Jain, Liang Chen, Carsten Maple and Christo Panchev. STELE: Verifiable Non-Selection for Confidential Frontier-Model Evaluation
Arshpreet Singh, Mohamad Sadegh Sangari and Atefeh Mashatan. Security Behaviours in Smart Homes: A Data-Driven Analysis from the User Perspective
Leonie Wolf, Robin Leander Schröder, Sebastian Schinzel and Fabian Ising. Maturity²: Assessing the Maturity of Crypto Agility Maturity Models
Savvy Sharma and Paula Branco. CWE119Bench: Evaluating Label Noise and Class Imbalance in Vulnerability Detection
Joshua Guttman, Will Thomas, Logan Schmalz, Adam Petz, Perry Alexander, Paul Rowe and James Carter. Designing Trustworthy Layered Attestations
Kamal Ziadi, Jérémy Dumas, Talal Halabi and Nadia Tawbi. Optimal Deep Packet Inspection Deployment against Advanced Persistent Threats in Industrial Networks: A Stochastic Game Approach
Ruiyang Zhang. Clean-Trace Poisoning: Deleting Safety Properties from Specification Miners with Individually-Legal Executions
Faithful Chiagoziem Onwuegbuche, Anca Jurcut and Liliana Pasquale. Do Behavioural Images Improve Ransomware Detection? A Systematic Evaluation of Behaviour-to-Image Modelling
Ali Sadeghi Jahromi and Jason Jaskolka. When Visibility Is Not Connectivity: Multi-Plane Measurement of Iran’s 2026 Internet Shutdowns
Miguel Silva, Eva Maia, João Vitorino and Isabel Praça. Realistic Robustness Evaluation of Tabular Data Driven Models
Mert Nar. FACE-EO: A Behavior-Centric Intermediate Representation for Explainable Cybersecurity Analysis
Mahmoud Abdelhafeez Sayed, Mostafa Taha and Gurp Nijjer. System-Level Optimization Beyond Cryptographic Kernels: An ML-KEM Case Study on Arm Cortex-M7
Parsa Kootzari, Taous Madi and Lianying Zhao. A Two-Dimensional Attack Graph for Risk Modeling and Scoring in Cloud Virtualized Environments
Hadi Chamas, Samiha Ayed and Guillaume Antoine. A Relationship-Centric Supply-Chain Dependency Model for Colocation Data Centers
Dave McKay, Atefeh Mashatan and Vinay Singh. Beyond Issue Hold: Secure Decentralized Workflows for Digital Identity and Verifiable Credentials