ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
Offered By: IEEE via YouTube
Course Description
Overview
Explore the latest advancements in ProVerif, a powerful tool for automated security protocol analysis, in this 17-minute IEEE conference talk. Delve into the enhanced features including lemmas, induction, and fast subsumption techniques. Learn how these improvements contribute to more efficient and comprehensive security protocol verification. Gain insights from experts Bruno Blanchet, Vincent Cheval, and Véronique Cortier as they discuss the expanded capabilities and potential applications of ProVerif in modern cryptographic protocol analysis.
Syllabus
ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
Logic and Computational ThinkingMicrosoft via edX Mathematical Thinking in Computer Science
University of California, San Diego via Coursera Scientific Methods and Research
Ural Federal University via edX Quot erat demonstrandum. Curso cero de Matemáticas
Universitat de València via Miríadax Discrete Math
Codecademy