collaborators

1 paper

cs.CR2026

Cryptographic Choreographies

Sebastian Mödersheim, Simon Lund, Alessandro Bruni +2

We present CryptoChoreo, a choreography language for the specification of cryptographic protocols. Choreographies can be regarded as an extension of Alice-and-Bob notation, providi…