Number of items: 1.
Conference or Workshop Item (A Paper)
Gagné, Martin and Lafourcade, Pascal and Lakhnech, Yassine
(2013)
Automated Security Proofs for Almost-Universal Hash for MAC Verification.
This list was generated on Wed Nov 26 02:57:45 2025 CET.