A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier
-
Updated
Aug 17, 2024 - OCaml
A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier
P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF
Troupe programming language
A static information flow checker written in Python, for Python.
JSFlow is a security-enhanced JavaScript interpreter for fine-grained tracking of information flow.
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
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
A library for static information-flow control in Idris
InFO is a policy language for regulating information flow control.
Generates information-flow control mechanisms from a language's specification
Test Project introducing the use of Information Flow Control in MontiSecArc
Inter-procedural analysis framework and dependency/information-flow analysis for LLVM
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."