Doorgaan naar hoofdnavigatie
Doorgaan naar zoeken
Ga verder naar hoofdinhoud
Koninklijke Militaire School Voorpagina
Help en veelgestelde vragen
English
Nederlands
Français
Deutsch
Voorpagina
Profielen
Onderzoekseenheden
projecten
Onderzoeksoutput
Activiteiten
Knipsels
Scripties/Masterproeven
Uitrusting
Prijzen
Zoeken op expertise, naam of affiliatie
On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers
Borghys, D.
(Jury lid)
Dirk Van Heule (Promotor)
Applied Crypto Expertise
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.
Periode
18 sep. 2017
Geëxamineerde
Frédéric Lafitte
Examen gehouden op
Koninklijke Militaire School
Mate van erkenning
Internationaal
Gerelateerde inhoud
Scripties/Masterproeven
On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers
Scriptie/Masterproef
:
Doctorale These
X