Troupe programming language
Inter-procedural analysis framework and dependency/information-flow analysis for LLVM
Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
Ontology-based Customization and Visualization of Information Flow control in an Industry 4.0 scenario
JSFlow is a security-enhanced JavaScript interpreter for fine-grained tracking of information flow.
A library for static information-flow control in Idris
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF
Generates information-flow control mechanisms from a language's specification
InFO is a policy language for regulating information flow control.
A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier
A static information flow checker written in Python, for Python.
Test Project introducing the use of Information Flow Control in MontiSecArc
Add a description, image, and links to the information-flow-control topic page so that developers can more easily learn about it.
To associate your repository with the information-flow-control topic, visit your repo's landing page and select "manage topics."