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

  • Borghys, D. (Jury lid)
  • Dirk Van Heule (Promotor van de PhD thesis)

Activiteit: Examen and begeleiding › 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