information-flow-control

There are 1 repository under information-flow-control topic.

• TroupeLang / Troupe

  Troupe programming language

  information-flowinformation-flow-controlinformation-flow-trackingsecuritylanguage-based-securitydynamic-monitoringcompiler
  Language:TypeScript 21

• thinkmoore / llvm-deps

  Inter-procedural analysis framework and dependency/information-flow analysis for LLVM

  information-flow-controlllvmstatic-analysis
  Language:Shell 18

• aslanix / SmallStepNI

  Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq

  coqinformation-flow-controlnoninterferencesmall-step-semantics
  Language:Coq 17

• ko3n1g / Ontology-based-InformationFlow-Industry-4.0

  Ontology-based Customization and Visualization of Information Flow control in an Industry 4.0 scenario

  industry-4ontologyinformation-flow-controlapache-jenastardogswrl
  Language:JavaScript 11

• jsflow / jsflow

  JSFlow is a security-enhanced JavaScript interpreter for fine-grained tracking of information flow.

  information-flow-controltaint-trackingjavascript
  Language:TypeScript 9

• simongregersen / DepSec

  A library for static information-flow control in Idris

  dependent-typesidrisinformation-flow-control
  Language:Idris 7

• felixlinker / ifc-rv-thesis

  My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker

  risc-vnusmvnuxmvmodel-checkinginformation-flow-controlinformation-flow-trackingsmvformal-methodsformal-verification
  Language:TeX 4

• andrew-bedford / ott-ifc

  Generates information-flow control mechanisms from a language's specification

  ottinformation-flow-control
  Language:Java 2

• akasten / info

  InFO is a policy language for regulating information flow control.

  owlpolicypolicy-languagerdfinformation-flow-controlontologyontology-design-patternsowl-ontology
  1

• MontiSecArc / InformationFlowControlTestProject

  Test Project introducing the use of Information Flow Control in MontiSecArc

  information-flow-controlmontisecarc-language-plugin
  Language:XSLT 0
• flowpy

  zsabbagh / flowpy

  A static information flow checker written in Python, for Python.

  ifcinformation-flow-controlpython3
  Language:Python 0

• lceragioli / SELinuxIFCIL

  A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier

  cilinformation-flowinformation-flow-controlpolicyselinuxselinux-policyverification
  Language:OCaml

• peng-gao-lab / p4control

  P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF

  ebpfinformation-flow-controlprogrammable-switch