MTAT.07.014 Cryptographic Protocols (6 EAP)

Autumn/Fall 2011

[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 sometimes 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.

General Information

          okt                    nov                    det
           S  M Tu  W Th  F  S    S  M Tu  W Th  F  S    S  M Tu  W Th  F  S
                             1          1  2  3  4  5                1  2  3
           2  3  4  5  6  7  8    6  7  8  9 10 11 12    4  5  6  7  8  9 10
           9 10 11 12 13 14 15   13 14 15 16 17 18 19   11 12 13 14 15 16 17
          16 17 18 19 20 21 22   20 21 22 23 24 25 26   18 19 20 21 22 23 24
Starts => 23 24 25 26 27 28 29   27 28 29 30            25 26 27 28 29 30 31
          30 31

• Lectures by Helger Lipmaa.
• Practice session by Bingsheng Zhang
  • Practice Session homepage by Bingsheng Zhang New
  • Time/location:
    • Lecture: Mon 12.15-14.00 (room 403) and Wed 14:15-16.00 (room 315)
    • Lab: Mon 14.15-16.00, room 403.
  • 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
  1	24.10.2011	Introduction
  2	24.10.2011	Elgamal
  3	31.10.2011	MH Protocols. Security
  4	02.11.2011	Additively Homomorphic Encryption
  5	07.11.2011	Semisimulatability
  6	09.11.2011	(Oblivious transfer?)
  7	14.11.2011	(ABB?)
  8	16.11.2011	(Yao?)
  9	21.11.2011	(FHE?)
  10	23.11.2011	(ZK++)
  11	28.11.2011
  12	30.11.2011
  13	05.12.2011
  14	07.12.2011
  15	12.12.2011
  16	14.12.2011

  Lecture Notes

  Slides in English.

  • Slides for lectures 1-5 Last modified: 08.11.11

  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.