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

Borghys, D. (Membre du jury)
Dirk Van Heule (Directeur de la thèse de doctorat)

Applied Crypto Expertise

Activité: Examen and encadrement de thèse › Membre d'un jury de PhD

Description

On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers: PhD thesis of F. Lafitte.

Période	18 sept. 2017
Candidat	Frédéric Lafitte
L'examen a eu lieu à	École royale militaire
Degré de reconnaissance	International

Contenu connexe

Thèses de l'étudiant
On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers
Student thesis: Thèse de doctorat