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

Président du jury Roggeman, Yves

Promoteur Markowitch, Olivier

;Van Heule, Dirk D.
Publication Non publié, 2017-09-19

Thèse de doctorat

Titre:	On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers
Auteur:	Lafitte, Frédéric
Président du jury:	Roggeman, Yves
Promoteur:	Markowitch, Olivier; Van Heule, Dirk D.
Membre du jury:	Pieprzyk, Josef; Borghys, Dirk D.
Informations sur la publication:	Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles
Date de défense:	2017-09-19
Sujet CREF:	Informatique générale
Mots-clés:	Boolean satisfiability
	Cryptanalysis
	Automated verification
Intitulé du diplôme:	Doctorat en Sciences
Langue:	Anglais
Anneé académique:	2017-2018
Institution de co-tutelle:	Ecole Royale Militaire, Faculté polytechnique, Département de mathématique - Docteur en Sciences appliquées

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.