=Paper=
{{Paper
|id=Vol-4269/paper79
|storemode=property
|title=Type-Based Enforcement of Non-Interference for Choreographic Programming
|pdfUrl=https://ceur-ws.org/Vol-4269/paper79.pdf
|volume=Vol-4269
|authors=Marco Bertoni,Saverio Giallorenzo,Marco Peressotti
}}
==Type-Based Enforcement of Non-Interference for Choreographic Programming==
<pdf width="1500px">https://ceur-ws.org/Vol-4269/paper79.pdf</pdf>
<pre>
None
</pre>