Formal analysis of real-world security protocols

Updated submission date for Exercise 3

Written on 27.06.2022 13:21 by Aurora Naska

Hi all,

we updated the submission date for Exercise sheet 3 to the 6th of July.
We apologise for the misunderstanding.

Best,
Aurora