Automated Security Proofs for Almost-Universal Hash for MAC Verification

doi:https://doi.org/10.1007/978-3-642-40203-6_17

Book Chapter10.1007/978-3-642-40203-6_17

Automated Security Proofs for Almost-Universal Hash for MAC Verification

Martin Gagné,Pascal Lafourcade,Yassine Lakhnech-2013-01-01-Lecture notes in computer science

8

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Computer scienceHash functionHash-based message authentication codeCryptographic hash functionMessage authentication codeMDC-2CBC-MACTheoretical computer science

Chat

Click to start Chat