TY  - RPRT
TI  - Cryptographic Choreographies
AU  - Sebastian Mödersheim
AU  - Simon Lund
AU  - Alessandro Bruni
AU  - Marco Carbone
AU  - Rosario Giustolisi
PY  - 2026
UR  - https://arxiv.org/abs/2602.12967
ID  - 2602.12967
ER  -