Cryptographic Choreographies.

Sun, 01 Feb 2026 00:00:00 +0100

Sebastian Mödersheim, Simon Lund, Alessandro Bruni, Marco Carbone, Rosario Giustolisi:
Cryptographic Choreographies. CoRR abs/2602.12967 (2026)