Materials
In these lecture notes, we explain the main reduction methodology used in the course. The lecture notes are currently still missing 1 definition.
January 9, 2018, 00:12: Update, fixed several typos, also in the figures.
January 10, 2018, 13:08: Update, added motivation/explanation for secure channel definition
January 14, 2018, 04:34: Update of administrative information
This is a first draft of the lecture notes on key exchange. The pseudo-code is still missing, but most of the conceptual discussion is already available.
Jan 14, 4:04: Substantial update
Jan 16, 16:47: Included all the oracles in the txt-file