Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: information-flow-control
peng-gao-lab/p4control
P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF
Language: C - Size: 242 KB - Last synced: 12 days ago - Pushed: 12 days ago - Stars: 0 - Forks: 0
thinkmoore/llvm-deps
Inter-procedural analysis framework and dependency/information-flow analysis for LLVM
Language: Shell - Size: 276 KB - Last synced: 23 days ago - Pushed: about 11 years ago - Stars: 18 - Forks: 6
lceragioli/SELinuxIFCIL
A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier
Language: OCaml - Size: 4.72 MB - Last synced: 29 days ago - Pushed: 30 days ago - Stars: 0 - Forks: 0
TroupeLang/Troupe
Troupe programming language
Language: TypeScript - Size: 1.01 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 18 - Forks: 12
andrew-bedford/ott-ifc
Generates information-flow control mechanisms from a language's specification
Language: Java - Size: 4.54 MB - Last synced: 8 months ago - Pushed: almost 6 years ago - Stars: 2 - Forks: 0
zsabbagh/flowpy
A static information flow checker written in Python, for Python.
Language: Python - Size: 1.08 MB - Last synced: almost 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
ko3n1g/Ontology-based-InformationFlow-Industry-4.0
Ontology-based Customization and Visualization of Information Flow control in an Industry 4.0 scenario
Language: JavaScript - Size: 157 MB - Last synced: 11 months ago - Pushed: about 5 years ago - Stars: 9 - Forks: 10
felixlinker/ifc-rv-thesis
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
Language: TeX - Size: 2.11 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0
simongregersen/DepSec
A library for static information-flow control in Idris
Language: Idris - Size: 18.6 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 7 - Forks: 0
aslanix/SmallStepNI
Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
Language: Coq - Size: 535 KB - Last synced: over 1 year ago - Pushed: over 4 years ago - Stars: 12 - Forks: 2
akasten/info
InFO is a policy language for regulating information flow control.
Size: 38.1 KB - Last synced: 4 months ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0
