10:00 à 11:15
Colloque
Relational Proofs of Probabilistic Programs and Applications to Cryptography
Gilles Barthe
10:00 à 11:15