Introduction to Cryptography: Basics of Symmetric Key Cryptography, Basics of Assymetric Key Cryptography, Hardness of Functions
Notions of Semantic Security (SS) and Message Indistinguishability (MI): Proof of Equivalence of SS and MI, Hard Core Predicate, Trap-door permutation, Goldwasser-Micali Encryption
Goldreich-Levin Theorem: Relation between Hardcore Predicates and Trap-door permutations
Formal Notions of Attacks: Attacks under Message Indistinguishability: Chosen Plaintext Attack(IND-CPA), Chosen Ciphertext Attacks (IND-CCA1 and IND-CCA2), Attacks under Message Non-malleability: NM-CPA and NM-CCA2, Inter-relations among the attack model
Random Oracles: Provable Security and asymmetric cryptography, hash functions
One-way functions: Weak and Strong one way functions
Pseudo-random Generators (PRG): Blum-Micali-Yao Construction, Construction of more powerful PRG, Relation between One-way functions and PRG, Pseudo-random Functions (PRF)
Building a Pseudorandom Permutation: The Luby Rackoff Construction: Formal Definition, Application of the Luby Rackoff Construction to the construction of Block Ciphers, The DES in the light of Luby Rackoff Construction
Left or Right Security (LOR)
Message Authentication Codes (MACs): Formal Definition of Weak and Strong MACs, Using a PRF as a MAC, Variable length MAC
Public Key Signature Schemes: Formal Definitions, Signing and Verification, Formal Proofs of Security of Full Domain Hashing
Assumptions for Public Key Signature Schemes: One way functions Imply Secure One-time Signatures
Shamir's Secret Sharing Scheme
Formally Analyzing Cryptographic Protocols
Zero Knowledge Proofs and Protocols
Hans Delfs, Helmut Knebl, "Introduction to Cryptography, Principles and Applications", Springer Verlag.
Jonathan Katz, Yehuda Lindell, "Introduction to Modern Cryptography", Chapman \& Hall/CRC.
Wenbo Mao, "Modern Cryptography, Theory and Practice", Pearson Education (Low Priced Edition)
Shaffi Goldwasser and Mihir Bellare, Lecture Notes on Cryptography, Available in http://citeseerx.ist.psu.edu
O. Goldreich, Foundations of Cryptography, CRC Press (Low Priced Edition Available), Part 1 and Part 2
(For the confusion with the title of the course, blame Him, the author of this classic text and not a lesser mortal like me.)
Scribing is essential for the course. The students are supposed to write scribes for each class and submit them on a weekly basis mentioning the name of the author, and also the date of the class. Please treat this as serious, as I will be meticulous while correcting and there will be significant marks for the scribes. Also the best scribe will be put up on the web-page along with your name for future batches and for people outside the institute.
There will be marks for term paper writing, when the students will be asked to present a write up on a related topic (to be fixed by me or chosen by the students with my consent). We shall have a discussion on the topic during the class sessions or during a mutually decided time. The submissions will be in individuals or in groups depending on the class strength. All documents are to be prepared in latex.
Two Tests during the Mid-sem and End-Sem. Please note that the final evaluation methodology and the marks distribution shall depend on the progress of the class.
Formal Security Notions of Encryption Schemes
Notions of Security of Public-key Ciphers and their Relations
One Way Functions: Weak and Strong One-way functions
Probability Distribution and the Notion of Psuedo-randomness
Construction of Psuedo Random Functions
Luby Rackoff Construction of Psuedo Random Permutations
Provable Secured Public Key Cryptosystems in the light of Random Oracles
Semantic Security and Message Indistinguishability
One Way Functions and Hard Core Predicates
Notions of Security: Non-Malleability