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:
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 (8) | |||||
| Cryptography | Comparison of theorem provers for cryptographic protocols | 2019-2020 | unruh@ut.ee | Detailid | |
| Crypto group | Misc topics in crypto / quantum / formal verification | 2020-2021 | unruh@ut.ee | Detailid | |
| Cryptography Group | Post-quantum secure time-stamping | 2016-2017 | unruh@ut.ee | Detailid | |
| Algorithms & Theory | Oriented Coloring of Grid Graphs | 2016-2017 | abdullah.makkeh@ut.ee | Kuulutus | Detailid |
| Algorithms & Theory | Approximation Algorithms for Automated Car Parking Systems | 2016-2017 | abdullah.makkeh@ut.ee | Kuulutus | Detailid |
| Algorithms & Theory | Parallel Nonnegative Matrix Factorization for Data Analysis with CUDA | 2016-2017 | dotheis@ut.ee | Detailid | |
| Algorithms & Theory | Teach by Code: Linear Algebra for Hardcore Computer Scientists | 2016-2017 | dotheis@ut.ee | Kuulutus | Detailid |
| Cryptography | Your own topic in crypto / quantum crypto / formal verification | 2017-2018 | unruh@ut.ee | Detailid | |
| Magister (26) | |||||
| 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 | |
| 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 | Environment for structured mathematical proofs | 2019-2020 | unruh@ut.ee | Detailid | |
| Cryptography Group | Automatic socio-technical security analysis | 2015-2016 | unruh@ut.ee | Detailid | |
| Cryptography Group | Quantum commitments under minimal assumptions | 2015-2016 | unruh@ut.ee | Detailid | |
| Cryptography Group | SNARKs for mathematical proofs | 2015-2016 | unruh@ut.ee | Detailid | |
| Cryptography group | Incoercibility in E-voting | 2015-2016 | helger.lipmaa@gmail.com | Kuulutus | Detailid |
| Cryptography group | Efficient zero-knowledge shuffles | 2015-2016 | helger.lipmaa@gmail.com | Kuulutus | Detailid |
| Algorithms & Theory | Interactive Visualization of Automated Car Parking Systems | 2016-2017 | abdullah.makkeh@ut.ee | Kuulutus | Detailid |
| Algorithms & Theory | Distances of Networks and Applications in Graph Mining | 2016-2017 | dotheis@ut.ee | Detailid | |
| Algorithms & Theory | Smart Clique Identification in Graphs, and Application to Overlap Detection for Decision Tables | 2016-2017 | dotheis@ut.ee | Detailid | |
| Algorithms & Theory | Cliques in Geometric Graphs, and Application to Overlap Detection for Decision Tables | 2016-2017 | dotheis@ut.ee | Detailid | |
| Algorithms & Theory | The State of the Union: Quickly Finding Gaps in Unions of High-Dimensional Rectangles | 2016-2017 | dotheis@ut.ee | Detailid | |
| Cryptographic protocols group | Deep learning and security | 2017-2018 | helger.lipmaa@ut.ee | Detailid | |
| Cryptographic protocols group | Blockchains: security and privacy aspects | 2017-2018 | helger.lipmaa@ut.ee | Detailid | |
| Algorithms&Theory | A quantum programming language w/ compiler | 2017-2018 | dotheis@ut.ee | Detailid | |
| Cryptography | Post-quantum secure bit commitments | 2017-2018 | unruh@ut.ee | Detailid | |
| Cryptography | Post-quantum secure time-stamping | 2017-2018 | 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 | Quantum position verification based on block ciphers | 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 (2) | |||||
| Cryptography Group | Post-quantum secure signatures - survey | 2016-2017 | unruh@ut.ee | Detailid | |
| Cryptography | Bachelor theses | 2017-2018 | unruh@ut.ee | Detailid | |
| Muu (1) | |||||
| Cryptography group | Implementing of mix-nets on GPUs | 2015-2016 | helger.lipmaa@gmail.com | Kuulutus | Detailid |