| 10:30 am |
Welcome Message and Opening Remarks (Antonino Rullo) |
|
Session 1 - Autonomous and Multi-agent Systems for Cyber Defense (session chair Antonino Rullo) |
| 10:40 am |
AutoBnB-RAG: Enhancing Multi-Agent Incident Response with Retrieval-Augmented Generation - Zefang Liu, Arman Anwar |
| 11:05 am |
Coherence-driven inference for cybersecurity - Steve Huntsman |
| 11:30 am |
SoK: Measuring What Matters for Closed-Loop Security Agents - Raunak Jain, Mudita Khurana |
| 12:00 am |
Lunch break |
|
Session 2 - Generative and Analytical AI for Vulnerability Discovery (session chair Zefang Liu) |
| 1:30 pm |
Deterministic Network Vulnerability Test Generation through Predictable Template Learning: A Systematic Evaluation - Christopher Beddies, Vincenzo Bonaiuto, Bernd Eylert, Stefan Kubica, Bernd Heimer |
| 1:55 pm |
LLM-HyPZ: Hardware Vulnerability Discovery using an LLM-Assisted Hybrid Platform for Zero-Shot Knowledge Extraction and Refinement (short paper) - Yu-Zheng Lin, Sujan Ghimire, Abhiram Nandimandalam, Jonah Michael Camacho, Veeramani Pugazhenthi, Unnati Tripathi, Rony Macwan, Sicong Shao, Setareh Rafatirad, Rozhin Yasaei, Pratik Satam, Soheil Salehi |
| 2:10 pm |
SeedAIchemy: LLM-driven Seed Corpus Generation for Fuzzing - Aidan Wen, Norah A. Alzahrani, Jingzhi Jiang, Andrew Joe, Karen Shieh, Andy Zhang, David Wagner, Basel Alomair |
| 2:35 pm |
Short break |
|
Session 3 - Advanced Malware and Attack Detection through LLMs |
| 2:45 pm |
Days of Future Past: Towards Robust Detection of Malware Variants via LLM-based Embedding Generation - Giacomo Benedetti, Luca Caviglione, Michał Choraś, Massimo Guarascio, Angelica Liguori, Giuseppe Manco, Antonino Rullo |
| 3:10 pm |
Enhancing Graph-based Advanced Persistent Threat Detection with LLM Sentence Embedding (short paper) - Shota Sakamaki, Hiroki Kanezashi, Toyotaro Suzumura, Tomohiro Kudoh |
| 3:30 pm |
SBAN: A Multi-Dimensional Dataset for Pre-Training LLMs and Software Code Mining - Hamed Jelodar, Mohammad Meymani, Samita Bai, Roozbeh Razavi-Far |
| 4:00 pm |
Coffee break |
|
Session 4 - LLM-Augmented Intelligence, Formal Reasoning, and Secure Communication (session chair Steve Huntsman) |
| 4:30 pm |
Autoformalization of Cryptographic Protocols - Lauren Brandt, Joshua Guttman, Andres Molina-Markham |
| 4:55 pm |
Benchmarking LLMs for Threat Level Determination - Han Wang, Murathan Kurfalı, Alfonso Iacovazzi |
| 5:20 pm |
MISPerer: Democratizing Threat Intelligence using Large Language Models (short paper) - Philippe Zotz, Beltran Fiz |
| 5:35 pm |
Closing remarks (Antonino Rullo) |