The full list of videos can be seen from the link below.



Full Video List






Lecture 1- Encryption Schemes

Download Lecture 1





Lecture 2- Probabilistic and Game-based Security Definitions

Download Lecture 2





Lecture 3- Reduction Proofs - What are they

Download Lecture 3





Lecture 4- Reduction Proofs - How to do

Download Lecture 4





Lecture 5- Pseudo Random Generators

Download Lecture 5





Lecture 6- Reduction Proof Example - PRG-based Encryption

Download Lecture 6





Lecture 7- Reduction Proof Example - PRF Family

Download Lecture 7





Lecture 8- PRG Output Expansion

Download Lecture 8





Lecture 9- Hybrid Proofs - Defining Hybrids

Download Lecture 9





Lecture 10- Hybrid Proof Example - PRG Output Expansion

Download Lecture 10





Lecture 11- Random Oracle Model (ROM)

Download Lecture 11





Lecture 12- ROM Construction Example - CPA-secure RSA Encryption

Download Lecture 12





Lecture 13- ROM Proof Example - CPA-secure RSA Encryption

Download Lecture 13





Lecture 14- ROM Construction Example - RSA FDH Signatures

Download Lecture 14





Lecture 15- ROM Proof Example - RSA FDH Signatures

Download Lecture 15





Video Lectures - Proofs in Cryptography