Bonus exercise sheet
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.
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.