Presentation on theme: "Verification of Security Protocols Lecture 0: admin Sandro Etalle Jerry den Hartog."— Presentation transcript:
Verification of Security Protocols Lecture 0: admin Sandro Etalle Jerry den Hartog
Before we start Check the calendar -Some days no lecture due to vacation in Eindhoven / Twente / Nijmegen. OBLIGATORY: Enroll in OASE!!! oase.tue.nl This way I we can reach you easily.
Lecturers Sandro Etalle (theory) Jerry den Hartog (Practice & more theory) -In this order -We have all done at some point in time research on verification of security protocols. Slides are posted and corrected runtime
Topics (1) Block 3 Introduction and Overview. Formal Protocol Narrations: The Spi-calculus Secrecy and Secrecy Types Secrecy Types for Asymmetric Cryptography. Authenticity and Authenticity Types. ProVerif: A Resolution Prover for Protocol Verification Secrecy and Authentication
Topics (2) Block 4 Analysis of an E-voting Protocol in the Applied Pi Calculus Non-repudiation Information flow Anonymity (1) Anonymity (2)
Locations http://www.win.tue.nl/~jhartog/CourseVerif/ the page contains a link to the public version of the SVN (accessible via web), which is where we post the slides etc. https://svn.win.tue.nl/viewcvs/security_public/teaching/verificatio n_security_protocols/slides/https://svn.win.tue.nl/viewcvs/security_public/teaching/verificatio n_security_protocols/slides/
Assessment Assignment -Proverif, given after the corresponding lectures, hand in by last lecture Exam -One exam with practical as well as theoretical questions -Practical questions: use of proverif -NO BOOK -NO COMPUTER