SVP days 2024

Speakers

• Riou, S. (2024). Verification of security protocols: using SMT solvers in the Squirrel prover
• Sauvage, J. (2024). Systematic Cryptographic Reductions Using Bi-Deduction
• Catinaud, M. (2024). Formalizing Zero-Knowledge proofs for electronic voting in the CCSA model
• Herouard, C. (2024). Secrecy by typing in the computational model
• Hirschi, L. (2024). DY Fuzzing: Formal Dolev-Yao Models Meet Protocol Fuzz Testing
• Fromherz, A. (2024). Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
• Avanzini, M. (2024). Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
• Debant, A. (2024). Election Verifiability with ProVerif

Slides