Probabilistic relational verification for cryptographic implementations.

Gilles Barthe, Cdric Fournet, Benjamin Grgoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella-Bguelin

Browse the full POPL paper archive.