Automated Security Proofs for Almost-Universal Hash for MAC Verification.

Martin Gagn, Pascal Lafourcade, Yassine Lakhnech

Browse the full ESORICS paper archive.