Comparison of theorem provers for cryptographic protocols

Organization
Cryptography
Abstract
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.
Graduation Theses defence year
2019-2020
Supervisor
Dominique Unruh
Spoken language (s)
English
Requirements for candidates
Crypto I, if possible Crypto II, Introduction to Interactive Theorem Provers
Level
Bachelor, Masters
Keywords
#tcs #crypto

Application of contact

 
Name
Dominique Unruh
Phone
E-mail
unruh@ut.ee