Automated Security Proofs for Almost-Universal Hash for MAC Verification

Provided by: Saarixx Labs
Topic: Security
Format: PDF
Message Authentication Codes (MACs) are an essential primitive in cryptography. They are used to ensure the integrity and authenticity of a message, and can also be used as a building block for larger schemes, such as chosen-ciphertext secure encryption, or identity-based encryption. MACs are often built in two steps: first, the 'Front end' of the MAC produces a short digest of the long message, then the 'Back end' provides a mixing step to make the output of the MAC unpredictable for an attacker.

Find By Topic