GT MFS 2023

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 everybody in the formal methods community interested by applications linked to security to meet and discuss around these subjects. The meeting welcomes presentations by researchers, practicioners and PhD students.