Cryptology ePrint Archive: Report 2013/407

Available versions in chronological order


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 ]