MCRL2 PGP model

MCRL2 PGP protocol model

A formalisation for the PGP protocol has been written as an MCRL2 model by Wytse Oortwijn from the VerCors team. You can find it here.

See also

• Next Meeting: 24 March 2022
• Next Meeting: 29 September 2021
• Online Discussion
• Proceedings for the contributions available
• Online Event