Computer-Aided Cryptographic Proofs.

Gilles Barthe, Juan Manuel Crespo, Benjamin Grgoire, Csar Kunz, Santiago Zanella-Bguelin

Browse the full ITP paper archive.