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

Borghys, D. (Jury Member)
Dirk Van Heule (PhD thesis director)

Applied Crypto Expertise

Activity: Examination and mentoring › Member of a PhD jury

Description

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

Period	18 Sept 2017
Examinee	Frédéric Lafitte
Examination held at	Royal Military Academy
Degree of Recognition	International

Related content

Student theses
On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers
Student thesis: Doctoral Thesis