No lecture on July 13th; Last lecture on July 20th
Written on 12.07.2022 20:19 by Cas Cremers
There will be no lecture tomorrow (July 13th).
The last lecture will be on July 20th, and will be about many new and exciting open research topics around protocol verification, and Tamarin in general.
Hope to see you then!