| Date of Award | 18 Sept 2017 |
|---|---|
| Original language | English |
| Awarding Institution |
|
| Supervisor | Dirk Van Heule (Supervisor) & Olivier Markowitch (Supervisor) |
On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers
Student thesis: Doctoral Thesis