42 
Cryptography: Provable Security (WS 2007)
Topics ![[^]](layout/up.png)
We discuss several advanced security concepts like semantic security.
We also describe several techniques to design systems that meet these
strong security requirements.
In particular, we discuss:
- semantic security
- one-way functions
- pseudorandom generators
- pseudorandom functions
- provably secure cryptography
Module information
- Module III.2.5: Modelle und Algorithmen (models and algorithms)
- V2 + 1 SWS (contact time)
- 4 ECTS credits (workload)
- Prerequisite: Introduction to Cryptography or any equivalent course
- This course will be held in english.
For further information see the corresponding section in the module handbook (in german only).
Examination
There will be two opportunities for an oral examination after the lectures have finished.
Schedule:
- Tuesday, February 19th, 2008
- 15:00 – 6223690
- 15:30 – 6284861
- 16:00 – fällt aus
- 16:30 – 6285807
- 17:00 – 6299590
Dates
-
Lecture:
Day Time Room Language Lecturer Tue 11--13 F2.211 English 
Johannes Blömer -
Tutorials:
Day Time Room Language Tutor Tue 13--14 F2.211 English Johannes Blömer
Lecture notes
This course will make use of the literature given below. Beside this, there will be no lecture notes for this course.
| Date | Topic | [Gol01] | [Gol04] | [KL07] |
| Encryption schemes, basic definition of security |
§5.1--5.2 | §3.2 | ||
| Pseudo randomness, secure encryption |
§5.3 | §3.3--3.4 | ||
| One-way functions | §2.1--2.2 | §6.1 | ||
| construction of PRGs based on one-way permutations | §3.3.2, 3.4.1 | §6.4 | ||
| Hardcore predicates, Goldreich-Levin predicate |
§2.5 | §6.3 |
Exercises
Here we will publish the exercises.
| Nr | Submission | Exercises |
| 01 | t.b.a. | 
(revision: Oct 23, 2007)
|
| 02 | t.b.a. |
|
| 03 | t.b.a. |
|
| 04 | t.b.a. |
|
| 05 | t.b.a. |
|
| 06 | t.b.a. |
|
Literature
- [BR04]
Bellare, Rogaway: Lecture Notes on "Introduction to Modern Cryptography", University of California, San Diego, 2004--2005. Lecture notes available online!
- [Gol01]
Goldreich: "Foundations of Cryptography, Volume 1: Basic Tools", Cambridge University Press, 2001. ISBN: 0-521-79172-3. Early draft version available online!
- [Gol04]
Goldreich: "Foundations of Cryptography, Volume 2: Basic Applications", Cambridge University Press, 2004. ISBN: 0-521-83084-2.
- [GB01]
Goldwasser, Bellare: Lecture Notes on "Cryptography", MIT, 1996--2001. Lecture notes available online!
- [KL07]
Katz, Lindell: "Introduction to Modern Cryptography", Chapman & Hall / CRC Press, 2007. ISBN: 1-5848-8551-3
- [Lin05]
Lindell: Lecture Notes on "Introduction to Cryptography", Bar-Ilan University, 2005. Lecture notes available online!
- [MOV96]
Menezes, van Oorschot, Vanstone: "Handbook of Applied Cryptography", CRC Press, 1996. ISBN: 0-8493-8523-7. Complete book available online!
- [Sho05]
Shoup: "A Computational Introduction to Number Theory and Algebra", Cambridge University Press, 2005. ISBN: 0-521-85154-8. Complete book available online!
- [Sti01]
Stinson: "Cryptography: Theory and Practice", 2nd edition, Chapman & Hall / CRC Press, 2001. ISBN: 1-5848-8206-9.
- [TW05]
Trappe, Washington: "Introduction to Cryptography with Coding Theory", 2nd edition, Pearson Prentice Hall, 2005. ISBN: 0-13-198199-4.