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