Giann Nandi gave a talk on Formal Verification of Cryptographic Protocols
21, Jan, 2019
CISTER PhD student Giann Nandi gave a talk on the topic of "Formally Verifying Cryptographic Protocols Using ProVerif".
ProVerif is an automatic verifier based on the formal model called Dolev-Yao model. Throughout the presentation, Giann explained basic security-related subjects, gave an overview of how to use ProVerif, and presented a case study of one of his past works. This event was part of the Periodic Seminars organized by CISTER.