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.

Repository:

You can find the source code for Troupe here

User guide:

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

Publications:

Reconciling progress-insensitive noninterference and declassification

Johan Bay and Aslan Askarov

CSF 2020: IEEE Computer Security Foundations Symposium

link to .pdf