TÜ arvutiteaduse instituudi lõputööde teemade register
Lõputööde teemad
(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öö.
| Ettevõte | Teema | Periood | Kandideerimise email | ||||
|---|---|---|---|---|---|---|---|
| Magister, Bakalaureus (1) | |||||||
| Cryptography | Comparison of theorem provers for cryptographic protocols | 2019-2020 | unruh@ut.ee | Detailid | |||
| Magister (6) | |||||||
| Cryptography | Environment for structured mathematical proofs | 2019-2020 | unruh@ut.ee | Detailid | |||
| Cryptography | Towards an external checker for EasyCrypt | 2019-2020 | unruh@ut.ee | Detailid | |||
| Cryptography | Relativistic commitments in the space-time circuit model | 2019-2020 | unruh@ut.ee | Detailid | |||
| Cryptography | Quantum position verification based on block ciphers | 2019-2020 | unruh@ut.ee | Detailid | |||
| Cryptography | Security proofs in EasyCrypt | 2019-2020 | unruh@ut.ee | Detailid | |||
| Cryptography | Rewinding in EasyCrypt | 2019-2020 | unruh@ut.ee | Detailid | |||