Comparison of theorem provers for cryptographic protocols

Organisatsiooni nimi
Cryptography
Kokkuvõte
When 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. Several frameworks for such verification exist these days, such as EasyCrypt, CertiCrypt, CryptoVerif, Foundational Cryptography Framework, CryptHOL. The task of this thesis is to survey and compare the existing approaches, and to identify and study their respective strengths and weaknesses.
Lõputöö kaitsmise aasta
2019-2020
Juhendaja
Dominique Unruh
Suhtlemiskeel(ed)
inglise keel
Nõuded kandideerijale
Crypto I, if possible Crypto II, Introduction to Interactive Theorem Provers
Tase
Bakalaureus, Magister
Märksõnad
#tcs #crypto

Kandideerimise kontakt

 
Nimi
Dominique Unruh
Tel
E-mail
unruh@ut.ee