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öö.
Aasta:
2024-2025
2023-2024
2022-2023
2021-2022
2020-2021
2019-2020
2018-2019
2017-2018
2016-2017
2015-2016
2014-2015
KÕIK
| 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 | |