Work

Automated Security Proofs for Almost-Universal Hash for

Type: article

Authors: Mac Verification, Martin Gagné, Pascal Lafourcade, Yassine Lakhnech

Language: English

Topic: Cryptographic Implementations and Security

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7095561664

Cites:

Cited by:

Related to: 10