1 A Calculus for Cryptographic Protocols Andy Gordon, Microsoft Research Theory Mini-CourseTheory Mini-Course, Michaelmas 2001 University of Cambridge.
Process Calculus and Security 18739A: Foundations of Security and Privacy Anupam Datta Fall 2007-08.
Security in Process Calculi CS 259 Vitaly Shmatikov.