Syllabus

Topics (Lecture Notes)

• Introduction to cryptography

References

• Boneh-Shoup (Chapter 2.1-2.2)

Topics (Lecture Notes)

• The one-time pad and perfect secrecy

• Pseudorandom generators (PRGs)

References

• Boneh-Shoup (Chapter 3.1-3.3)

Topics (Lecture Notes)

• Cryptographic definitions and security reductions

• Examples of security reductions

• Semantic security

References

• Boneh-Shoup (Chapter 2.3, 3.1-3.3)

• Examples of Proofs in Cryptography

Topics (Lecture Notes)

• Semantic security

• Stream cipher constructions

References

• Boneh-Shoup (Chapter 3.7-3.9)

Topics (Lecture Notes)

• Chosen plaintext security

• Pseudorandom functions (PRFs) and permutations (PRPs)

• PRF switching lemma

References

• Boneh-Shoup (Chapter 4.1, 4.4, 5.1-5.5)

Topics (Lecture Notes)

• CPA-secure encryption from PRFs

• Counter mode encryption (CTR)

• Cipherblock chaining mode encryption (CBC)

References

• Boneh-Shoup (Chapter 4.1, 4.4, 5.4-5.5)

Topics (Lecture Notes)

• Even-Mansour cipher

• Advanced Encryption Standard (AES)

References

• Boneh-Shoup (Chapter 4.2-4.3)

Topics (Lecture Notes)

• Message authentication codes (MACs)

• MACs from PRFs

• Collision resistant hash functions (CRHFs)

References

• Boneh-Shoup (Chapter 6)

Topics (Lecture Notes)

• Merkle-Damgård construction

• Davies-Meyer compression function

References

• Boneh-Shoup (Chapter 8.1-8.4)

Topics (Lecture Notes)

• Birthday bound

• Hash-based MACs

• HMAC and HKDF

References

• Boneh-Shoup (Chapter 8.5-8.7)

Topics (Lecture Notes)

• Domain extension for PRFs (rawCBC, ECBC, PMAC)

• Authenticated encryption

References

• Boneh-Shoup (Chapter 6, Chapter 9.1-9.2)

Topics (Lecture Notes)

• Authenticated encryption from encrypt-then-MAC

• Authenticated encryption with associated data

References

• Boneh-Shoup (Chapter 9.1-9.7)

Topics (Lecture Notes)

• Merkle puzzles and key-agreement protocols

• Prime-order groups: definitions and properties

References

• Boneh-Shoup (Chapter 10.8, Appendix A)

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)

Topics (Lecture Notes)

• Elliptic-curve groups

• Public-key encryption

References

• Boneh-Shoup (Chapter 11.2-11.3, 15.1-15.3)

Topics

• ElGamal encryption

• CCA-secure public-key encryption

• Digital signatures

References

• Boneh-Shoup (Chapter 11.5, 12.1-12.2, 12.4, 13.1)

Topics

• Composite-order groups: definitions and properties

• The RSA problem

• RSA-FDH signatures

• PKCS1 signatures

• Blind signatures from RSA

References

• Boneh-Shoup (Chapter 10.2-10.3, 13.1, 13.3, 13.6)

Topics

• Public-key encryption from RSA

• RSA-OAEP

• Public-key infrastructure (PKI)

References

• Boneh-Shoup (Chapter 11.4)

Topics

• Threshold signatures

• Transport Layer Security (TLS)

• Authenticated key exchange (AKE) and TLS 1.3

References

• Boneh-Shoup (Chapter 12.8, 13.8)

Topics

• 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)

Topics

• 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

Topics

• 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)

Topics

• The Fiat-Shamir heuristic

• Schnorr signatures and (EC)DSA signatures

References

• Boneh-Shoup (Chapter 20.3)