09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
9:30 - 9:45 (15min)
Refreshment
hall
9:45 - 10:00 (15min)
Welcome
Salle J-L lions
9:45 - 11:00 (1h15)
Session 1
Salle J-L lions
Stéphanie Delaune
10:00 - 10:30 (30min)
Verification of security protocols: using SMT solvers in the Squirrel prover
Salle J-L lions
Stanislas Riou
10:30 - 11:00 (30min)
Systematic Cryptographic Reductions Using Bi-Deduction
Salle J-L lions
Justine Sauvage
https://pepr-svp-2024.sciencesconf.org/data/program/515978.pdf 11:00 - 11:30 (30min)
Coffee break
hall
11:30 - 12:00 (30min)
Formalizing Zero-Knowledge proofs for electronic voting in the CCSA model
Salle J-L lions
Margot Catinaud
11:30 - 13:00 (1h30)
Session 2
Salle J-L lions
Bruno Blanchet
12:00 - 12:30 (30min)
Secrecy by typing in the computational model
Salle J-L lions
Clement Herouard
12:30 - 13:00 (30min)
DY Fuzzing: Formal Dolev-Yao Models Meet Protocol Fuzz Testing
Salle J-L lions
Lucca Hirschi
13:00 - 15:00 (2h)
Lunch
15:00 - 15:30 (30min)
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
Salle J-L lions
Aymeric Fromherz / Son Ho
15:00 - 16:00 (1h)
Session 3
Salle J-L lions
Caroline Fontaine
15:30 - 16:00 (30min)
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Salle J-L lions
Martin Avanzini
16:00 - 16:15 (15min)
Break
hall
16:15 - 16:45 (30min)
Election Verifiability with ProVerif
Salle J-L lions
Alexandre Debant
16:15 - 17:15 (1h)
Session 4
Salle J-L lions
Stéphanie Delaune
16:45 - 17:15 (30min)
Administrative update on the activity report
Salle J-L lions
Stéphanie Delaune
