Cryptographic Choreographies


This is a companion discussion topic for the original entry at https://arxiv.org/abs/2602.12967