Computationally Sound Symbolic Protocol Analysis: Correspondence Theorems 18739A: Foundations of Security and Privacy Anupam Datta CMU Fall 2007-08.
Lecture 1 Introduction to Cryptography Stefan Dziembowski University of Rome La Sapienza BiSS 2009 Bertinoro International Spring School 2-6 March 2009.
Network Security (Course Details) By ASIM SHAHZAD Assistant Professor University Of Engineering And Technology Taxila.
CS 426 (Fall 2010)
Quantum Homomorphic Encryption Stacey Jeffery (including joint work with Anne Broadbent)
Computer and Network Security Rabie A. Ramadan Lecture 2.
Information Security CS 526
Cryptography and Network Security Chapter 2
Computer and Network Security
Network Security
A Quick Tour of Cryptographic Primitives