Planning
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 |
|
|
Loading...