2024 Annual Meeting of the WG "Formal Methods in Security"
3-5 Apr 2024 Saint Pierre d’Oléron (France)
Login
Lost password ?
Create account
Main menu
Home
Registration
Program
Slides and presentations
Keynotes
Tool session
Location
Sponsors
HELP
@ Contact
Program
Week
Wed. 03
Thu. 04
Fri. 05
List
‹
Thursday, April 4, 2024
›
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
›9:00 (1h)
Keynote: DY Fuzzing: Putting a Dolev-Yao attacker in the fuzzing loop
Steve Kremer
9:00 - 10:00 (1h)
Keynote: DY Fuzzing: Putting a Dolev-Yao attacker in the fuzzing loop
Steve Kremer
›10:00 (30min)
Coffee break
10:00 - 10:30 (30min)
Coffee break
›10:30 (1h40)
Formal methods and cryptography
Charlie Jacomme (session chair)
10:30 - 12:10 (1h40)
Formal methods and cryptography
Charlie Jacomme (session chair)
› Proving e-voting mixnets in the CCSA model: zero-knowledge proofs and rewinding
- Margot Catinaud, Laboratoire Méthodes Formelles
10:30-10:55 (25min)
› A Probabilistic Logic for Concrete Security
- Théo Vignon, Laboratoire Méthodes Formelles
10:55-11:20 (25min)
› Secrecy by typing in the computational model
- Clément Hérouard, Institut de Recherche en Informatique et Systèmes Aléatoires
11:20-11:45 (25min)
› Verification of security protocols : using SMT solvers in the Squirrel prover
- Stanislas Riou, Université de Rennes
11:45-12:10 (25min)
›12:10 (1h50)
Lunch
12:10 - 14:00 (1h50)
Lunch
›14:00 (4h)
Visite chateau d'Oléron
14:00 - 18:00 (4h)
Visite chateau d'Oléron
›18:30 (1h)
Cocktail
18:30 - 19:30 (1h)
Cocktail
›19:30 (1h30)
Banquet
19:30 - 21:00 (1h30)
Banquet
Session
Speech
Logistics
Break
Tour
Online user:
1
Privacy
Loading...