Troupe

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
Appears in CSF 2020: IEEE Computer Security Foundations Symposium
link to .pdf