Topic: "information-flow-control"
TroupeLang/Troupe
Troupe programming language
Language: TypeScript - Size: 1.26 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 21 - Forks: 14
thinkmoore/llvm-deps
Inter-procedural analysis framework and dependency/information-flow analysis for LLVM
Language: Shell - Size: 276 KB - Last synced at: about 1 year ago - Pushed at: about 12 years ago - Stars: 18 - Forks: 6
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 at: about 2 years ago - Pushed at: over 5 years ago - Stars: 12 - Forks: 2
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 at: about 2 months ago - Pushed at: about 6 years ago - Stars: 11 - Forks: 9
simongregersen/DepSec
A library for static information-flow control in Idris
Language: Idris - Size: 18.6 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 10 - Forks: 0
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 at: about 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
andrew-bedford/ott-ifc
Generates information-flow control mechanisms from a language's specification
Language: Java - Size: 4.54 MB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0
akasten/info
InFO is a policy language for regulating information flow control.
Size: 38.1 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
lceragioli/SELinuxIFCIL
A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier
Language: OCaml - Size: 5.14 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
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 at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
zsabbagh/flowpy
A static information flow checker written in Python, for Python.
Language: Python - Size: 1.08 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
