32 citations · 78 across the 20 of their papers we have counts for
1 paper · 1 filter
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…