CS 758: Spring 2020 | Instructor: Manoj Prabhakaran

2:00 PM - 3:25 PM Tuesday/Friday | CC 103

Advanced Tools from Modern Cryptography

Over the last four decades, Modern Cryptography has developed into a field with solid mathematical foundations. In addition to developing the idea of "provable security," investigations into the fundamental nature of secrecy and security threw open a range of new possibilities that go well beyond encryption. This course will introduce you to some of these tools, as well as basic concepts needed to formally define and prove their security.

Course contents. The topics we will try to cover (as time permits) include

  • Secure Multi-Party Computation,
  • Private Information Retrieval, Symmetric Searchable Encryption, Oblivious RAM,
  • Functional Encryption, (Fully) Homomorphic Encryption, Obfuscation,
  • Leakage-Resilience, and
  • specialized applications like Secure Voting and Digital Cash.

The course project will give you a chance to read up on topics not covered in the lectures and/or implement an advanced cryptographic tool.

Graded Work. The graded work involves two exams or quizzes (60%), a few homework assignments (18%), a team project (20%) and attendance (2%). The projects will be evaluated based on a presentation and either a report or a demo (depending on the nature of the project), and meeting(s) with the instructor prior to that. Some sample topics for the project will be provided later on. The quiz schedule will be announced later.

The students are expected to regularly attend all the lectures. Since the lectures include a lot of material that will not be covered by assignments or quizzes, one grade point is reserved for registering 80% attendance.

Background. This course will have a theoretical flavour: you will need to be comfortable with mathematical definitions and proofs ("mathematical maturity"). Specific mathematical topics that will be encountered are elementary probability, linear algebra and discrete mathematics.

Teaching Assistant: Rajeevalochana M. R.

Lectures so far