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 (30min)
› Salle J-L lions
10:00 - 10:30 (30min)
Verification of security protocols: using SMT solvers in the Squirrel prover
Salle J-L lions
Stanislas Riou
›10:30 (30min)
› Salle J-L lions
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 (30min)
› Salle J-L lions
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 (30min)
› Salle J-L lions
12:30 - 13:00 (30min)
DY Fuzzing: Formal Dolev-Yao Models Meet Protocol Fuzz Testing
Salle J-L lions
Lucca Hirschi
›13:00 (2h)
13:00 - 15:00 (2h)
Lunch
›15:00 (30min)
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
Aymeric Fromherz / Son Ho
Aymeric Fromherz / Son Ho
› Salle J-L lions
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 (30min)
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Martin Avanzini
Martin Avanzini
› Salle J-L lions
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
