| la date de réponse | 18 sept. 2017 |
|---|---|
| langue originale | Anglais |
| L'institution diplômante |
|
| Superviseur | Dirk Van Heule (Promoteur) & Olivier Markowitch (Promoteur) |
On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers
Student thesis: Thèse de doctorat