GTMFS 2025 : 2025 Annual Meeting of the WG "Formal Methods in Security"
17-21 Mar 2025 Le Mont-Dore (France)
Thursday, March 13 (between 11:30 a.m. and 1 p.m.) an operation is planned on the authentication server
which may cause connection issues on Sciencesconf
Login
Lost password ?
Create account
Main menu
Home
Call for Contributions
Attending
▼
Registration
Travel Information
Program
Accepted Papers
HELP
@ Contact
Program
Wednesday, March 19, 2025
07:00
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
›7:30 (1h30)
Breakfast
7:30 - 9:00 (1h30)
Breakfast
›9:00 (1h30)
Session 3 - Trust and active defense
9:00 - 10:30 (1h30)
Session 3 - Trust and active defense
Vote&Check: Secure Postal Voting with Reduced Trust Assumptions
, Véronique Cortier (Université de Lorraine, CNRS, Inria, LORIA), Alexandre Debant (Université de Lorraine, CNRS, Inria, LORIA), Pierrick Gaudry (Université de Lorraine, CNRS, Inria, LORIA), Léo Louistisserand (Université de Lorraine, CNRS, Inria, LORIA)
Stratégies optimales de défense active basées sur la vérification formelle de systèmes multi-agent
, Gabriel Ballot (Télécom Paris - EDF R&D)
Formalizing trust in Cyber Threat Intelligence
, Mariam Wehbe (INSA CVL), Laurent Bobelin (INSA CVL), Sabine Frittella (INSA CVL)
›10:30 (30min)
Break
10:30 - 11:00 (30min)
Break
›11:00 (1h)
Tutorial
11:00 - 12:00 (1h)
Tutorial
Binsec tutorial
›12:00 (2h)
Lunch
12:00 - 14:00 (2h)
Lunch
›14:00 (4h)
Social event
14:00 - 18:00 (4h)
Social event
A hike
›19:00 (3h)
Banquet
19:00 - 22:00 (3h)
Banquet
Session
Speech
Logistics
Break
Tour
Online user:
1
Privacy
|
Accessibility
Loading...