Cryptology ePrint Archive: Report 2013/407

Available versions in chronological order

20130625:155050 (posted 25-Jun-2013 15:50:50 UTC): Automated Security Proofs for Almost-Universal Hash for MAC verification; Martin Gagné and Pascal Lafourcade and Yassine Lakhnech; Publication Info: Proceedings version accepted in ESORICS 2013

[ Cryptology ePrint archive ]