Date: Tuesday, November 3 2026 – 13h00
Place: A008
Title: Relational Program Logics for Probabilistic and Quantum Computations
The talk will present an overview of relational program logics for cryptography and differential privacy proofs. In the first part, I will emphasize how these programs logics have gradually evolve to achieve better expressiveness and to support richer settings. In the second part, I will present LeanyCrypt, a foundational library that supports security proofs in the Quantum Random Oracle Model (QROM).