|Security proofs in EasyCrypt|
|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. 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 student’s preferences after the initial literature review.
|Lõputöö kaitsmise aasta||2019-2020|
|Nõuded kandideerijale||Crypto I, if possible Crypto II, Introduction to Interactive Theorem Provers|
|Märksõnad||#tcs #crypto #verification|