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 Mon Nov 17 06:16:59 2025 CET.