| Datum prijs | 18 sep. 2017 |
|---|---|
| Originele taal | Engels |
| Prijsuitreikende instantie |
|
| Begeleider | Dirk Van Heule (Promotor) & Olivier Markowitch (Promotor) |
On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers
Scriptie/Masterproef: Doctorale These