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 Your own topic in crypto / quantum crypto / formal verification 2017-2018 unruh@ut.ee Details
Master (10)
Cryptographic protocols group Blockchains: security and privacy aspects 2017-2018 helger.lipmaa@ut.ee Details
Algorithms&Theory A quantum programming language w/ compiler 2017-2018 dotheis@ut.ee Details
Cryptography Linking CryptoVerif and EasyCrypt 2017-2018 unruh@ut.ee Details
Cryptographic protocols group Deep learning and security 2017-2018 helger.lipmaa@ut.ee Details
Cryptography Comparison of theorem provers for cryptographic protocols 2017-2018 unruh@ut.ee Details
Cryptography Post-quantum secure bit commitments 2017-2018 unruh@ut.ee Details
Cryptography Rewinding in EasyCrypt 2017-2018 unruh@ut.ee Details
Cryptography Security proofs in EasyCrypt 2017-2018 unruh@ut.ee Details
Cryptography Quantum position verification based on block ciphers 2017-2018 unruh@ut.ee Details
Cryptography Post-quantum secure time-stamping 2017-2018 unruh@ut.ee Details
Bachelor (1)
Cryptography Bachelor theses 2017-2018 unruh@ut.ee Details