Computationally Sound Symbolic Protocol Analysis: Correspondence Theorems 18739A: Foundations of Security and Privacy Anupam Datta CMU Fall 2007-08.
Cédric Fournet Microsoft Research Joint work with Pedro Adão, IST Lisboa