The annual meeting of the GT MFS is organized 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 these subjects. The meeting welcomes presentations by researchers, including PhD students and practitioners.

In 2025, the meeting will occur from March 18 to 20 (with the possibility to come the day before and leave the day after). It will take place at Le Mont-Dore, France, and is organized by Pascal Lafourcade (Université Clermont Auvergne) and Grégoire Menguy (CEA LIST).

• Submission deadline: January 10, 2025
• Subscriptions open: January 10, 2025
• End of the early subscriptions: February 3, 2025
• Subscriptions deadline: March 1, 2025

• Véronique Cortier(CNRS, Loria, Nancy) :
  • Keywords: Voting protocols, verification
  • Title: To be announced
• Jan Reineke(Saarland University) :
  • Keywords: hardware security, verification, synthesis
  • Title: Verification and Synthesis of Hardware-Software Leakage Contracts

The social event will be a hike, so take hiking shoes. 

There is also a swimming pool and a sauna, so take your swimsuit.

• Clara Bertolissi (Aix-Marseille University)
• Sandrine Blazy (University of Rennes)
• Sylvain Boulmé (Verimag)
• Yannick Chevalier (Toulouse University)
• Stephanie Delaune (CNRS)
• Aymeric Fromherz (INRIA)
• Charlie Jacome (INRIA)
• Tamara Rezk (INRIA)
• Alix Trieu (ANSSI)