Note: The following list only informs about theses topics offered. If you are interested in a topic (not yet selected by a student), please contact the person who offered the topic to discuss prerequisites and further requirements that need to be fulfilled. Only after mutual agreement between you and the supervisor has been reached, you can actually select the topic for your Bachelor or Master theses.
Keywords such as: #analysis #smartphone_application
Organization Topic Period Application email    
Master, Bachelor (1)
Cryptography Comparison of theorem provers for cryptographic protocols 2019-2020 unruh@ut.ee Details
Master (6)
Cryptography Environment for structured mathematical proofs 2019-2020 unruh@ut.ee Details
Cryptography Towards an external checker for EasyCrypt 2019-2020 unruh@ut.ee Details
Cryptography Relativistic commitments in the space-time circuit model 2019-2020 unruh@ut.ee Details
Cryptography Quantum position verification based on block ciphers 2019-2020 unruh@ut.ee Details
Cryptography Security proofs in EasyCrypt 2019-2020 unruh@ut.ee Details
Cryptography Rewinding in EasyCrypt 2019-2020 unruh@ut.ee Details