CSC 414 - Foundations of CryptographyCatalog Description:
Cryptography is the study of mathematical techniques for securing digital information, systems and distributed computation against adversarial attacks. In this class you will learn the concepts and the algorithms behind the most used cryptographic protocols: you will learn how to formally define security properties and how to formally prove/disprove that a cryptographic protocol achieves a certain security property. You will also discover that cryptography has a much broader range of applications. It solves absolutely paradoxical problems such as proving knowledge of a secret without ever revealing the secret (zero-knowledge proof), or computing the output of a function without ever knowing the input of the function (secure computation). Finally, we will look closely at one of the recent popular application of cryptography: the blockchain technology. Additionally, graduate students will study some of the topics in greater depth.
- Lecture: 3 hours
Coordinator: Dr. Alessandra Scafuro
Textbook: Intro to Modern Cryptography
Upon completion of this course, students will be able to:
- Explain and motivate the formal definition of the most common cryptographic goals (such as data confidentiality and integrity).
- Formally prove/disprove security of a cryptographic scheme (such as encryption scheme, digital signatures).
- Identify the cryptographic tools needed in real world protocols (such as Bitcoin).
- Explain and motivate more advanced cryptographic goals (such as zero-knowledge, secure two-party computation).
- Information-theoretic Security
- Symmetric Key Encryption
- Public Key Encryption
- Integrity and Authenticity
See Course Listings