Formal analysis of real-world security protocols

Dear students,

we just released the slides of yesterday's lecture; please excuse the delay. The fourth exercise sheet has already been published yesterday.