Overview of Cryptography
The Mechanical Cryptographer (Tolerant Algebraic Side-Channel Attacks using pseudo-Boolean Solvers) 1.
Security Definitions in Computational Cryptography Anupam Datta CMU Fall 2009 18739A: Foundations of Security and Privacy.
Yossi Oren Technion Crypto Day, July 2012