Lõputööde teemad (sisestamine) Valminud lõputööd (sisestamine)
Alljärgnev loend informeerib Teid võimalikest lõputööde teemadest. Kui olete leidnud sobiva teema, võtke ühendust selle pakkujaga, et välja selgitada antud teemaga seotud eeldusi ja nõudeid. Alles pärast kokkulepet juhendajaga saate valitud teemal kirjutada oma bakalaureuse- või magistritöö.
Märksõnad nt: #analüüs #nutitelefoni_rakendus
Ettevõte Teema Periood Kandideerimise email    
Magister, Bakalaureus (4)
Crypto group Misc topics in crypto / quantum / formal verification 2020-2021 unruh@ut.ee Detailid
Cryptography Your own topic in crypto / quantum crypto / formal verification 2017-2018 unruh@ut.ee Detailid
Quantum Cryptography Misc thesis topics 2021-2022 unruh@ut.ee Detailid
Quantum Cryptography Misc thesis topics 2022-2023 unruh@ut.ee Detailid
Magister (9)
Cryptography Security proofs in EasyCrypt 2019-2020 unruh@ut.ee Detailid
Cryptography Rewinding in EasyCrypt 2019-2020 unruh@ut.ee Detailid
Cryptography Towards an external checker for EasyCrypt 2019-2020 unruh@ut.ee Detailid
Cryptography Environment for structured mathematical proofs 2019-2020 unruh@ut.ee Detailid
Cryptography Group SNARKs for mathematical proofs 2015-2016 unruh@ut.ee Detailid
Cryptography Rewinding in EasyCrypt 2017-2018 unruh@ut.ee Detailid
Cryptography Security proofs in EasyCrypt 2017-2018 unruh@ut.ee Detailid
Cryptography Comparison of theorem provers for cryptographic protocols 2017-2018 unruh@ut.ee Detailid
Cryptography Linking CryptoVerif and EasyCrypt 2017-2018 unruh@ut.ee Detailid
Bakalaureus (1)
Cryptography Bachelor theses 2017-2018 unruh@ut.ee Detailid