Analyzing security of a protocol

Project 2022-23