MTAT.07.014 Cryptographic Protocols (6 EAP)

Autumn/Fall 2012

[General Information] [Lectures] [Tutorials] [Other Interesting Stuff] [OIS]

This is a second course on cryptography. Compared to the first course (Cryptology I), it will focus more on purely cryptographic protocols, mostly assuming the existence of primitives (but if the primitives are really needed then we also define and study them). We will study how to formally define primitives, how to reduce one primitive to another one and how to construct complicated cryptographic protocols from existing primitives. The course has no textbook as such, but consulting the materials, listed below, can be very useful.

NB! This homepage is being updated. Please check back during the week of Sep 3. The current version still largely corresponds to the course of 2011.

General Information

• Lectures by Helger Lipmaa.
• Practice session by Prastudy Fauzi
  • Practice Session homepage by Bingsheng Zhang (2011)
  • This year: by Prastudy Fauzi New
  • Time/location:
    • Lecture: Mon 12.15-14.00 (room 612)
    • Lab: Thu 10.15-12.00 (room 512)
  • Course material (recommended only):
    
    • Oded Goldreich, "Foundations of Cryptography" (parts I and II)
      
    • Jonathan Katz and Yehuda Lindell, "Introduction to Modern Cryptography"
      
    And the papers cited on slides. NB: most of the course material is however not available in books
  • In order to pass the course one has to (not fixed yet, it may change)
    • complete (in a timely manner) 5 of the 10 tutorials
    • pass the exam (with a grade greater than 0)
  • News about this course: subscribe to mailing list teadus.crypto at lists.ut.ee.
  • First exam: Not fixed yet
  Back to menu.

  ---

  Required Courses

  • Cryptology I
  • ... and whatever Cryptology I requires as a prerequisite

  (If you want to attend without taking Cryptology I, let me know --- I might be agreeable)

  Recommended courses: Algebra, Number Theory.

  ---

  Lecture Plan

  The next list is preliminary! Future topics might change at whim.

  #	Date	Topic
  -	03.09.2011	Cancelled! (No lecture)
  1	10.09.2011	Introduction
  2	17.09.2011	Elgamal
  3	24.09.2011	MH Protocols. Security
  4	01.10.2011	Additively Homomorphic Encryption
  5	08.10.2011	Semisimulatability
  6	15.10.2011	(Oblivious transfer?)
  7	22.10.2011	(ABB?)
  8	29.10.2011	(Yao?)
  9	05.11.2011	(FHE?)
  10	12.11.2011	(ZK++)
  11	19.11.2011
  12	26.11.2011
  13	03.12.2011
  14	10.12.2011
  15	17.12.2011
  16	24.12.2011

  Lecture Notes

  Slides in English.

  • Slides for lectures 1-5 Last modified: 08.11.11 (for the last year!)

  Back to menu.

  ---

  Home Assignments

  ---

  Other Interesting Stuff

  • Cryptographic Protocols (same course, 2011 Autumn, by Helger Lipmaa)
  • Cryptology I (2011 Autumn, by Dominique Unruh)
  Back to menu.