On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers

Activiteit: Examen › Lid van een PhD jury

Beschrijving

On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers: PhD thesis of F. Lafitte.
Periode18 sep. 2017
GeëxamineerdeFrédéric Lafitte
Examen gehouden op
Mate van erkenningInternationaal

Gerelateerde inhoud