HomeNews        <>

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.

At CISTER's Facebook Page / At CISTER's Instagram Page