2 papers
cs.LO2026
A Probabilistic Choreography Language for PRISM
Marco Carbone, Adele Veschetti
We present a choreographic framework for modelling and analysing concurrent probabilistic systems based on the PRISM model-checker. This is achieved through the development of a ch…
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…