15-349 Introduction to Computer and Network Security Iliano Cervesato 26 August 2008 – Modern Cryptography.