Planning

Tuesday, February 6, 2024
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
›9:30 (15min)
Refreshment
› hall
›9:45 (15min)
Welcome
› Salle J-L lions
›9:45 (1h15)
Session 1
Stéphanie Delaune
› Salle J-L lions
›10:00 (30min)
Verification of security protocols: using SMT solvers in the Squirrel prover
Stanislas Riou
› Salle J-L lions
›10:30 (30min)
Systematic Cryptographic Reductions Using Bi-Deduction
Justine Sauvage
› Salle J-L lions
›11:00 (30min)
Coffee break
› hall
›11:30 (30min)
Formalizing Zero-Knowledge proofs for electronic voting in the CCSA model
Margot Catinaud
› Salle J-L lions
›11:30 (1h30)
Session 2
Bruno Blanchet
› Salle J-L lions
›12:00 (30min)
Secrecy by typing in the computational model
Clement Herouard
› Salle J-L lions
›12:30 (30min)
DY Fuzzing: Formal Dolev-Yao Models Meet Protocol Fuzz Testing
Lucca Hirschi
› Salle J-L lions
›13:00 (2h)
Lunch
›15:00 (30min)
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
Aymeric Fromherz / Son Ho
› Salle J-L lions
›15:00 (1h)
Session 3
Caroline Fontaine
› Salle J-L lions
›16:00 (15min)
Break
› hall
›16:15 (30min)
Election Verifiability with ProVerif
Alexandre Debant
› Salle J-L lions
›16:15 (1h)
Session 4
Stéphanie Delaune
› Salle J-L lions
›16:45 (30min)
Administrative update on the activity report
Stéphanie Delaune
› Salle J-L lions
Session
Speech
Logistics
Break
Tour
Online user: 1 Privacy
Loading...