Syllabus

The following is a list of topics that will be covered. Click on each topic for links to lecture notes and suggested readings. Lecture notes will be available after the lecture.

Aug 21: Overview of Cryptography

Topics (Lecture Notes)
- Introduction to cryptography
References
- Boneh-Shoup (Chapter 2.1-2.2)

Aug 23: The One-Time Pad and Stream Ciphers

Topics (Lecture Notes)
- The one-time pad and perfect secrecy
- Pseudorandom generators (PRGs)
References
- Boneh-Shoup (Chapter 3.1-3.3)

Aug 28: PRGs and Security Reductions

Topics (Lecture Notes)
- Cryptographic definitions and security reductions
- Examples of security reductions
- Semantic security
References
- Boneh-Shoup (Chapter 2.3, 3.1-3.3)

Aug 30: Stream Ciphers

Topics (Lecture Notes)
- Semantic security
- Stream cipher constructions
References
- Boneh-Shoup (Chapter 3.7-3.9)

Sep 4: Labor Day (No Class)

Sep 6: Pseudorandom Functions

Topics (Lecture Notes)
- Chosen plaintext security
- Pseudorandom functions (PRFs) and permutations (PRPs)
References
- Boneh-Shoup (Chapter 4.1, 4.4, 5.1-5.5)

Sep 11: Block Cipher Modes of Operation

Topics (Lecture Notes)
- CPA-secure encryption from PRFs
- Cipherblock chaining (CBC) mode encryption
References
- Boneh-Shoup (Chapter 4.1, 4.4, 5.4)

Sep 13: Block Cipher Modes of Operation (Continued)

Topics (Lecture Notes)
- CPA-secure encryption from PRFs
- Counter (CTR) mode encryption
References
- Boneh-Shoup (Chapter 4.1, 4.4, 5.4-5.5)

Sep 18: Message Integrity

Topics (Lecture Notes)
- Message authentication codes (MACs)
- MACs from PRFs
- Collision resistant hash functions (CRHFs)
References
- Boneh-Shoup (Chapter 6)

Sep 20: Collision-Resistant Hash Functions

Topics (Lecture Notes)
- Merkle-Damgård construction
- Davies-Meyer compression function
- Birthday bound
References
- Boneh-Shoup (Chapter 8.1-8.4)

Sep 25: HMAC, Key Derivation, and Domain Extension

Topics (Lecture Notes)
- Hash-based MACs
- HMAC and HKDF
- Domain extension for PRFs (rawCBC, ECBC, PMAC)
References
- Boneh-Shoup (Chapter 6, 8.5-8.7)

Sep 27: Authenticated Encryption and CCA Security

Topics (Lecture Notes)
- Authenticated encryption and CCA-security
- Authenticated encryption from encrypt-then-MAC
- Authenticated encryption wtih associated data
References
- Boneh-Shoup (Chapter 9.1-9.7)

Oct 2: Block Cipher Constructions

Topics (Lecture Notes)
- Even-Mansour cipher
- Advanced Encryption Standard (AES)
References
- Boneh-Shoup (Chapter 4.2-4.3)

Oct 4: Review of Symmetric Cryptography

Oct 9: Exam 1 (In Class)

Oct 11: Key Agreement and Prime-Order Groups

Topics (Lecture Notes)
- Merkle puzzles and key-agreement protocols
- Prime-order groups: definitions and properties
References
- Boneh-Shoup (Chapter 10.8, Appendix A)

Oct 16: Diffie-Hellman Key Exchange

Topics (Lecture Notes)
- Discrete log, CDH, and DDH
- Concrete instantiations of discrete log groups
- Diffie-Hellman Key Exchange
References
- Boneh-Shoup (Chapter 10.4-10.5)

Oct 18: Public-Key Encryption

Topics (Lecture Notes)
- Elliptic-curve groups
- Public-key encryption
References
- Boneh-Shoup (Chapter 11.2-11.3, 15.1-15.3)

Oct 23: ElGamal Encryption and CCA-Security

Topics (Lecture Notes)
- ElGamal encryption
- CCA-secure public-key encryption
References
- Boneh-Shoup (Chapter 11.5, 12.1-12.2, 12.4)

Oct 25: The RSA Problem and Digital Signatures

Topics (Lecture Notes)
- Digital signatures
- Composite-order groups: definitions and properties
- The RSA trapdoor permutation
- RSA-FDH signatures
References
- Boneh-Shoup (Chapter 10.2-10.3, 13.1, 13.3)

Oct 30: Public-Key Cryptography from RSA

Topics (Lecture Notes)
- Blind signatures from RSA
- PKCS1 signatures
- Public-key encryption from RSA
References
- Boneh-Shoup (Chapter 11.4, 13.6)

Nov 1: The Public-Key Infrastructure

Topics (Lecture Notes)
- RSA-OAEP
- Certificates and the public-key infrastructure (PKI)
References
- Boneh-Shoup (Chapter 12.8, 13.8)

Nov 6: Authenticated Key Exchange

Topics (Lecture Notes)
- Transport Layer Security (TLS)
- AKE protocols: constructions and attacks
References
- Boneh-Shoup (Chapter 21.1, 21.10)

Nov 8: Identification Protocols

Topics (Lecture Notes)
- Identification protocols and threat models
- Password storage and management
- One-time passwords (SecurID, TOTP, S/Key)
- Challenge-response authentication and active security
References
- Boneh-Shoup (Chapter 18.1-18.6)

Nov 13: Zero-Knowledge Proofs

Topics (Lecture Notes)
- Proof systems
- Interactive proofs
- Defining zero knowledge and the simulation paradigm
- Zero-knowledge proof for 3-coloring
References
- Boneh-Shoup (Chapter 20.1)
- The Knowledge Complexity of Interactive Proof Systems by Shafi Goldwasser, Silvio Micali, and Charles Rackoff

Nov 15: Zero Knowledge for NP

Topics (Lecture Notes)
- Zero knowledge proof for graph 3-coloring
- Proofs of knowledge
- Schnorr's proof of knowledge of discrete log
References
- The Knowledge Complexity of Interactive Proof Systems by Shafi Goldwasser, Silvio Micali, and Charles Rackoff
- Boneh-Shoup (Chapter 19.1-19.3)

Nov 20: Thanksgiving (No Class)

Nov 22: Thanksgiving (No Class)

Nov 27: Non-Interactive Proofs and ECDSA

Topics (Lecture Notes)
- The Fiat-Shamir heuristic
- Schnorr signatures and (EC)DSA signatures
References
- Boneh-Shoup (Chapter 20.3)

Nov 29: Course Wrap-Up

Dec 4: Exam 2 (In Class)

Web Analytics