@misc{indiciae8515721bb63c,
  title = {Type-Based Enforcement of Non-Interference for Choreographic Programming},
  author = {Marco Bertoni and Saverio Giallorenzo and Marco Peressotti},
  year = {2026},
  url = {https://arxiv.org/abs/2602.21630},
  note = {Source identifier: 2602.21630}
}