Formal Analysis of Cryptographic Protocols

1. Lecture 1: Protocols and Attacks I     notes


2. Lecture 2: Protocols and Attacks II     notes


3. Lecture 3: The Strand Space Model I     notes


4. Lecture 4: The Strand Space Model II     The Strand Space Model     slides


5. Lecture 5: BAN Logic of Authentication     slides


6. Lecture 6: Undecidability     slides


7. Lecture 7: Decidability, Model Checking     slides


8. Lecture 8: Model Checking: The Lazy Intruder     slides