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

• Paul Houssel: Towards Provenance for Cybersecurity in Cloud-Native Production Infrastructure

• 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-17:45)

• 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

Thursday 28 (17:10-18:05)

• Aya Khedda: Secure Federated Learning with Multi-Party Computation

• Patrick Lodeweegs: Model learning for fuzzing

• Chiara Luchini: Formal Verification of the FAPI Protocol with Tamarin: Challenges and Preliminary Findings

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