Instructor: Akshayaram Srinivasan
Lecture Timings: Tuesday and Thursday at 2 - 3.30 PM.
Prerequisites: Basics of discrete probability and algorithms.
Assignments and Lecture Notes: See Piazza.
Course Summary:
Date | Topics Covered | References |
---|---|---|
26/08/21 | General Introduction, Definition of Negligible Functions, Properties of Negligible Functions, One-Way Function: Definition, Composition of OWF | Foundations of Cryptography-Vol1 - Sections 2.1 - 2.3. Lindell: Chapters 1.1 - 1.2.1 |
31/08/21 | Weak One-Way Function, Hardness Amplification, Definition of Hardcore predicate | Foundations of Cryptography-Vol1 - Sections 2.3-2.5 |
02/09/21 | Proof of Goldreich-Levin Theorem | Pass-shelat: Section 3.4 |
07/09/21 | Computational Indistinguishability, PRG definition, One-bit stretch to arbitrary stretch, Constructing one-bit stretch PRG from OWP | Lindell: Chapter-4 |
09/09/21 | Pseudorandom Functions, GGM construction, Secret-key Encryption | Lindell: Chapters 5.1 and 5.2 Jain: Chapter 5.3 |
14/09/21 | Digital Signatures, Construction of One-time Signatures, Collision-Resistant Hash Function | Jain: Chapters 5.3 and 7.5 |
16/09/21 | Construction of multi-message secure DSfrom One-time secure DS, Introduction to Interactive Proofs |
Foundations of Cryptography - Vol. 2: Chapter 6.4 Lindell: Chapter 5.3.1 |
21/09/21 | Zero-Knowledge Proofs | Foundations of Cryptography - Vol. 1: Chapters 4.3-4.4 |
23/09/21 | Zero-Knowledge Proofs contd. | Foundations of Cryptography - Vol. 1: Chapters 4.3.4 |
28/09/21 | Public Key Encryption | Jain: Chapter 6 |
30/09/21 | CCA-1 Secure PKE | Katz: Lecture 9 |
05/10/21 | CCA-2 Secure PKE and OT |
Katz: Lecture 10 Bellare-Micali 89 |
07/10/21 | Secure 2PC from OT and Garbled Circuits | Lindell-Pinkas 09 |
12/10/21 | Construction of Garbled Circuits | Lindell-Pinkas 09 |
14/10/21 | Goldreich-Micali-Wigderson Protocol |
Jain: Chapter 9.8 Foundations of Cryptography - Vol. 2: Chapters 7.5-7.6 |
21/10/21 | Shamir Secret Sharing and Ben-Or-Goldwasser-Wigderson Protocol | Ashrov-Lindell 17 |
26/10/21 | Non-Interactive Zero-Knowledge from Homomorphic Proof Commitment | Groth-Ostrovsky-Sahai 12 |
28/10/21 | Bilinear Maps, Homomorphic Proof Commitment and NIKE | Groth-Ostrovsky-Sahai 12 |
02/11/21 | Problem Set Discussion | |
09/11/21 | Exam | |
11/11/21 | Identity-Based Encryption | Libert Lecture Notes Boneh-Franklin 01 |
16/11/21 | Introduction to Fully Homomorphic Encryption and Applications | Gentry: Chapter 1.8 Gentry-Sahai-Waters 13 |
18/11/21 | Gentry-Sahai-Waters FHE Construction | Gentry-Sahai-Waters 13 |
25/11/21 | Introduction to Obfuscation, VBB Impossibility, iO Definition, Applications of iO | Barak et al. 01 |
26/11/21 | Bootstrapping theorem for iO | Garg et al. 01 |