information-flow-control
There are 13 repositories under information-flow-control topic.
TroupeLang/Troupe
Troupe programming language
thinkmoore/llvm-deps
Inter-procedural analysis framework and dependency/information-flow analysis for LLVM
aslanix/SmallStepNI
Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
ko3n1g/Ontology-based-InformationFlow-Industry-4.0
Ontology-based Customization and Visualization of Information Flow control in an Industry 4.0 scenario
jsflow/jsflow
JSFlow is a security-enhanced JavaScript interpreter for fine-grained tracking of information flow.
simongregersen/DepSec
A library for static information-flow control in Idris
felixlinker/ifc-rv-thesis
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
peng-gao-lab/p4control
P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF
andrew-bedford/ott-ifc
Generates information-flow control mechanisms from a language's specification
akasten/info
InFO is a policy language for regulating information flow control.
lceragioli/SELinuxIFCIL
A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier
MontiSecArc/InformationFlowControlTestProject
Test Project introducing the use of Information Flow Control in MontiSecArc
zsabbagh/flowpy
A static information flow checker written in Python, for Python.