Troupe Language:

Troupe is a programming language for concurrent and distributed programming with dynamic information flow control. Troupe is a research language, and as such is intended as a playground for research in information flow control.


You can find the source code for Troupe here

User guide:

For an introduction to the language please see the user guide.


Reconciling progress-insensitive noninterference and declassification
Johan Bay and Aslan Askarov
CSF 2020: IEEE Computer Security Foundations Symposium
link to .pdf