@misc {IOPORT.70706998,
    author       = {Barthe, Gilles and Gr\'egoire, Benjamin and Heraud, Sylvain and B\'eguelin, Santiago Zanella},
    title        = {Computer-aided security proofs for the working cryptographer},
    howpublished = {CRYPTO, 71-90 (2011).},
    year         = {2011},
    doi          = {10.1007/978-3-642-22792-9_5},
    identifier   = {70706998},
}