10:00 - 11:15am
Symposium
Relational Proofs of Probabilistic Programs and Applications to Cryptography
Gilles Barthe
10:00 - 11:15am