@inproceedings{GLL13,
title = {Automated Security Proofs for Almost-Universal Hash for MAC verification },
author = {Gagne, Martin and Lafourcade, Pascal and Lakhnech, Yassine},
year = {2013},
booktitle = {Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, London, UK, September 2012. Proceedings},
note = {to appear},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
team = {DCS},
}
