Formal analysis of real-world security protocols

Updated Project Description

Written on 28.01.2025 14:36 by Alexander Dax

Dear students,

we just updated the project description by adding multiple clarifications for Project 1: IKEv2 and Project 2: SPDM.