If you have missed the kick-off meeting, this is the last chance to participate!
We will read the first chapter of the Tutorial, and learn about protocol design (
Needham and
Schroeder (1978)
) and the need for formal methods (
Lowe (1996)
).