Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs.

Gilles Barthe, Benjamin Grgoire, Santiago Zanella-Bguelin

Browse the full MPC paper archive.