Open PhD Forum
FOSAD invites submissions from PhD students who are willing to present their novel and ongoing research ideas and contributions.
Proposals (title and abstract) are due through the application form and can be uploaded and updated at any time, no later than August 12, 2025.
The proposals will be reviewed by the scientific committee of FOSAD.
The accepted proposals must be presented at the summer school during the open session of the PhD forum (15 min. per talk plus question time).
Program
Monday 25 (11:30-13:00)
Erwan Fasquel: Fuzzing macOS Kernel Extensions
Víctor García Valero: Protocol Dialects as Formal Patterns
Noufal Issa: A Hybrid GAM-based Model for Predicting Vulnerability Exploitation
Hira Zaheer: Formal Verification of Zero-Knowledge Protocols
Zakaria Belkadi: Type-based security properties assurance in OS
Tuesday 26 (17:10-18:05)
Maxence Perion: Wait-free Replicated Data Types and Fair Reconciliation
Esin Ece Aydin: Rethinking Phishing in the Age of Generative AI: Threats and Defense Strategies
Paul Houssel: Towards Provenance for Cybersecurity in Cloud-Native Production Infrastructure
Thursday 28 (17:10-17:45)
Aya Khedda: Secure Federated Learning with Multi-Party Computation
Patrick Lodeweegs: Model learning for fuzzing
Friday 29 (17:10-17:45)
Burcu Sonmez Sarikaya: Reinforcement Learning-Based Intrusion Detection System for UAV under Gen AI and Security Attacks
Theo Vignon: A probabilistic logic for concrete security