2025 Annual Meeting of the WG "Formal Methods in Security"

The annual meeting of the GT MFS is organised by the Working Group (GT) "Formal Methods for Security" (MFS) of the GDR Sécurité Informatique. Its goal is to allow everyone in the formal methods community interested in applications to security to meet and discuss around these subjects. The meeting welcomes presentations by researchers, including PhD students, and practitioners.