| Datum der Bewilligung | 18 Sept. 2017 |
|---|---|
| Originalsprache | Englisch |
| Gradverleihende Hochschule |
|
| Betreuer/-in | Dirk Van Heule (Promoter) & Olivier Markowitch (Promoter) |
On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers
Studienabschlussarbeit: Dissertation