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
For an introduction to the language please see the user guide.
- Reconciling progress-insensitive noninterference and declassification
- Johan Bay and Aslan Askarov
- Appears in CSF 2020: IEEE Computer Security Foundations Symposium
- link to .pdf