DMCA

Béguelin, S.: Computer-aided security proofs for the working cryptographer (2011)

by Gilles Barthe , Benjamin Grégoire , Sylvain Heraud , Santiago Zanella Béguelin
Venue:In: Advances in Cryptology – CRYPTO 2011. Lecture Notes in Computer Science
Citations:51 - 22 self