Room: Grande salle | Session Chair: To be confirmed
Time
Program
14:45–15:00
Saeedeh Lohrasbi, Mohammad Mamun, Ahmed Yehia, Scott Buffett and Sherif Saad.Where Cyber Agents Struggle: Bottleneck Analysis of Multi Stage LLM Agents (Paper 254)
15:00–15:20
Rodrigo Castro, Eva Maia and Isabel Praça. From Benchmarks to the Wild: Evaluating the Security of LLM-Generated Python Code (Paper 421)
15:20–15:40
Zhiju Yang, Yue Xue and Xiecongyou Yang. What AI Auditors Miss: Diagnosing and Closing the Gap Between AI and Human Web3 Security Audits (Paper 643)
15:40–15:50
Discussion
Session 2 — Network Security I
Room: Grande salle | Session Chair: To be confirmed
Time
Program
16:05–16:25
Zhiju Yang. Characterizing Security and Privacy Practices of News (Paper 2141)
16:25–16:40
Bassirou Badiane, Valerie Viet Triem Tong and Yufei Han. From Commands to TTPs: A Deterministic Approach for Large-Scale SSH Botnet Analysis (Paper 3132)
16:40–17:00
Savvy Sharma and Paula Branco. CWE119Bench: Evaluating Label Noise and Class Imbalance in Vulnerability Detection (Paper 7460)
17:00–17:20
Joshua Guttman, Will Thomas, Logan Schmalz, Adam Petz, Perry Alexander, Paul Rowe and James Carter. Designing Trustworthy Layered Attestations (Paper 7690)
17:20–17:30
Discussion
Session 3 — LLMs and AI Agents for Security
Room: Grande salle | Session Chair: To be confirmed
Time
Program
9:00–9:20
Derik Pack, Anthony Leclerc, Jordan Hopkins and Mert Pesé. LLMCluster: Fuzzing Crash Triage using Generative AI (Paper 4235)
9:20–9:40
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 (Paper 4575)
9:40–10:00
Augustin Brenner, Kamel Adi, Khaled Hamouid and Myria Bouhaddi. Agentic AI for Automated Penetration Testing and Red Teaming (Paper 6489)
10:00–10:10
Discussion
Session 4 — Adversary Models, Language Security and XAI
Room: Grande salle | Session Chair: To be confirmed
Time
Program
10:25–10:45
Leonie Wolf, Robin Leander Schröder, Sebastian Schinzel and Fabian Ising. Maturity²: Assessing the Maturity of Crypto Agility Maturity Models (Paper 7415)
10:45–11:05
Arto Niemi and Parsa Sadri Sinaki. Diversification of Signed and Attested Binaries (Paper 1056)
11:05–11:25
Alpha Oumar Diallo, Talal Halabi and Mohamed Mejri. Embedding Explanation Constraints into Model Training to Improve XAI Fidelity in IoT Intrusion Detection (Paper 2313)
11:25–11:45
Sundiata Keita, Carlos Philips and Andreas Schaad. ChainShield: A Hybrid Machine Learning and Rule-Based Framework for Supply Chain Security Detection, Visualization, and Automated Reporting (Paper 2830)
11:45–12:00
Discussion
Session 5 — Industrial Session
Room: Grande salle | Session Chair: To be confirmed
Time
Program
14:15–14:35
Mahmoud Abdelhafeez Sayed, Mostafa Taha and Gurp Nijjer. System-Level Optimization Beyond Cryptographic Kernels: An ML-KEM Case Study on Arm Cortex-M7
14:35–14:55
Parsa Kootzari, Taous Madi and Lianying Zhao. A Two-Dimensional Attack Graph for Risk Modeling and Scoring in Cloud Virtualized Environments
14:55–15:15
Hadi Chamas, Samiha Ayed and Guillaume Antoine. A Relationship-Centric Supply-Chain Dependency Model for Colocation Data Centers
15:15–15:35
Dave McKay, Atefeh Mashatan and Vinay Singh. Beyond Issue Hold: Secure Decentralized Workflows for Digital Identity and Verifiable Credentials
15:35–16:00
Discussion
Session 6 — Security Analysis and AI Robustness
Room: Grande salle | Session Chair: To be confirmed
Time
Program
16:00–16:20
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 (Paper 6933)
16:20–16:35
Sebastian Rehms, Songyang Liu and Florian Tschorsch. Making Threats Explicit: From Threat Descriptions to Logical Models (Paper 306)
16:35–16:55
Seyedehakram Salehi, Fatemeh Erfan and Adel Abusitta. TASAD: Temporal Adversarial Suppression via Anomaly Detection against Stealthy Backdoor Attacks in Federated Learning (Paper 4824)
16:55–17:15
Miguel Silva, Eva Maia, João Vitorino and Isabel Praça. Realistic Robustness Evaluation of Tabular Data Driven Models (Paper 9532)
17:15–17:25
Discussion
Session 7 — Malware Detection
Room: Grande salle | Session Chair: To be confirmed
Time
Program
10:15–10:35
César Vieira, João Vitorino, Eva Maia and Isabel Praça. A Transfer Learning Benchmark to Address Distribution Shift in Malware Detection (Paper 377)
10:35–10:50
Tayssir Touili and Olzhas Zhangeldinov. Precise Android Malware Detection using CARET Model Checking(Paper 4068)
10:50–11:10
Faithful Chiagoziem Onwuegbuche, Anca Jurcut and Liliana Pasquale. Do Behavioural Images Improve Ransomware Detection? A Systematic Evaluation of Behaviour-to-Image Modelling (Paper 8501)
Session 8 — Wireless Security and IoT
Room: Grande salle | Session Chair: To be confirmed
Time
Program
11:10–11:30
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(Paper 1009)
11:30–11:50
Arshpreet Singh, Mohamad Sadegh Sangari and Atefeh Mashatan. Security Behaviours in Smart Homes: A Data-Driven Analysis from the User Perspective (Paper 7337)
11:50–12:00
Discussion
Session 9 — Cryptography, Blockchain and Cryptocurrencies
Room: Grande salle | Session Chair: To be confirmed
Time
Program
13:00–13:15
Jing Wang, Jiahao Liu, Dong Liu and Wanqi Tao. Construction and Applications of Lattice-based Verifiable Delay Functions (Paper 1340)
13:15–13:35
Mahmoud Yassin, Mahmoud Abdelhafeez Sayed and Mostafa Taha. EI-DDLGN: Efficient Encrypted Inference with Deep Differentiable Logic Gate Networks under TFHE (Paper 6513)
13:35–13:55
Wail Zellagui, Abdessamad Imine and Yamina Tadjeddine. Teacher-Student Framework for Fraud-Intent Detection in Cryptocurrency Discussions (Paper 2098)
13:55–14:15
Ruiyang Zhang. Clean-Trace Poisoning: Deleting Safety Properties from Specification Miners with Individually-Legal Executions (Paper 8403)
14:15–14:30
Discussion
Session 10 — Security of LLMs and AI Agents II
Room: Grande salle | Session Chair: To be confirmed
Time
Program
14:45–15:05
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 (Paper 2994)
15:05–15:25
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 (Paper 3356)
15:25–15:40
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 (Paper 3420)
15:40–16:00
Anmol Pandey, Aditya Jain, Liang Chen, Carsten Maple and Christo Panchev. STELE: Verifiable Non-Selection for Confidential Frontier-Model Evaluation (Paper 7225)
16:00–16:10
Discussion
Session 11 — Network Security II and Emerging Events
Room: Grande salle | Session Chair: To be confirmed
Time
Program
10:15–10:35
Ali Sadeghi Jahromi and Jason Jaskolka. When Visibility Is Not Connectivity: Multi-Plane Measurement of Iran’s 2026 Internet Shutdowns (Paper 8598)
10:35–10:55
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 (Paper 8152)
10:55–11:00
Discussion
Session 12 — XAI, Generative AI and Federated Learning
Room: Grande salle | Session Chair: To be confirmed
Time
Program
11:00–11:20
Mert Nar. FACE-EO: A Behavior-Centric Intermediate Representation for Explainable Cybersecurity Analysis (Paper 9739)
11:20–11:35
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 (Paper 5488)
11:35–11:50
Oussama El Boujjadia, Fehmi Jaafar and Montassar Ben Messaoud. Security Patching and GenAI-Driven Refactoring: An Empirical Study of Energy Overhead (Paper 5793)
11:50–12:05
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 (Paper 307)