@inproceedings{BGK+12,
title = {Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs },
author = {Barthe, Gilles and Gr\'egoire, Benjamin and Kunz, C\'esar and Lakhnech, Yassine and B\'eguelin, Santiago Zanella},
year = {2012},
booktitle = {CPP},
pages = {7-8},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7679},
team = {DCS},
}