Type-Based Enforcement of Non-Interference for Choreographic Programming

Marco Bertoni, Saverio Giallorenzo, Marco Peressotti

Choreographies describe distributed protocols from a global viewpoint, enabling correct-by-construction synthesis of local behaviours. We develop a policy-parametric type system th…