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