News
Bonus exercise sheet
Written on 09.07.2018 15:01 by Robert Künnemann
Hi!
As announced in the lecture, please find a third bonus exercise sheet in the Materials section. This sheet will not be taken into account for exam admission, but it may be helpful in exam preparation. The solutions will be put online on Friday, so you can ask away at the final lecture, where the three of us will be available for questions.
Cheers, Robert
PS: Check out the last exercise in particular, if you want to see how you can put your understanding of protocol modelling and specification of privacy-like properties to use.