arvutiteaduse instituudi lõputööde teemade register

Security proofs in EasyCrypt
Organisatsiooni nimiCryptography
KokkuvõteWhen checked by humans, the security of proofs for cryptographic
protocols are inherently error-prone. One way out is to use formal
(i.e., computer-aided) verification. Probably the most popular tool
today for this purpose is EasyCrypt, which allows to interactively
design a proof that the computer will be able to understand and check.

The goal of this thesis is to formalize a security proof in EasyCrypt
of some (preferably practically relevant) cryptographic
protocol. Which protocol is to be studied would be decided based on
the students preferences after the initial literature review.

[All thesis topics should be seen as suggestions. Students are
encouraged to discuss variations of these topics with me. The topics
are designed for master theses, however, interested bachelor students
can contact me to discuss "down-scaled" topics suitable for a bachelor
Lõputöö kaitsmise aasta2017-2018
JuhendajaDominique Unruh
Suhtlemiskeel(ed)inglise keel
Nõuded kandideerijaleCrypto I, if possible Crypto II, Introduction to Interactive Theorem Provers
Tase Magister
Märksõnad #tcs #crypto #verification
Kandideerimise kontakt
Nimi Dominique Unruh