arvutiteaduse instituudi lõputööde teemade register


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: 2019-2020 2018-2019 2017-2018 2016-2017 2015-2016 2014-2015 KÕIK
Märksõnad nt: #analüüs #nutitelefoni_rakendus
Ettevõte Teema Periood Kandideerimise email
Magister, Bakalaureus (1)
CryptographyComparison of theorem provers for cryptographic protocols2019-2020unruh@ut.eeDetailid
Magister (6)
CryptographyEnvironment for structured mathematical proofs2019-2020unruh@ut.eeDetailid
CryptographyTowards an external checker for EasyCrypt2019-2020unruh@ut.eeDetailid
CryptographyRelativistic commitments in the space-time circuit model2019-2020unruh@ut.eeDetailid
CryptographyQuantum position verification based on block ciphers2019-2020unruh@ut.eeDetailid
CryptographySecurity proofs in EasyCrypt2019-2020unruh@ut.eeDetailid
CryptographyRewinding in EasyCrypt2019-2020unruh@ut.eeDetailid
ati.study@lists.ut.ee