Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs.

Gilles Barthe, Benjamin Grgoire, Csar Kunz, Yassine Lakhnech, Santiago Zanella-Bguelin

Browse the full CPP paper archive.