Computer-aided security proofs for the working cryptographer (2011)

by G Barthe, B Grégoire, S Heraud, S ZanellaBéguelin
Venue:In Proceedings of IACR CRYPTO