information-flow

There are 22 repositories under information-flow topic.

  • SVF-tools/Teaching-Software-Analysis

    Teaching and Learning Software Analysis via SVF

    Language:C++196248116

  • dimgold/pycon_social_networkx

    Social network analysis code examples for PyCon 2019 talk

    Language:Jupyter Notebook1394043

  • ProjectEKA/consent-manager

    The Health Data Consent Manager is an entity that acts as a consent collector for the Customer and mediates the Health Information data flows from the HIP to the recipient HIU or the Customer.

    Language:Java2818717

  • TroupeLang/Troupe

    Troupe programming language

    Language:TypeScript2131213

  • Neroysq/VyperFlow

    A next-generation secure smart contract language for Ethereum.

    Language:Python13701
  • KalmanFilter

    m31L3r/KalmanFilter

    A Kalman Filter in Simulink for easier understanding.

    11204

  • sireum/v3-awas

    Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems

    Language:JavaScript7831

  • dfava/command

    Very simple information flow aware compiler with Flex, Bison, LLVM, C/C++

    Language:C++5201

  • Gradual-Typing/LambdaIFCStar

    The Agda mechanization of a gradual security-typed programming language with general mutable references.

    Language:Agda4101

  • qluo2018/GCSDN

    Granger Causality with Signal-dependent Noise

    Language:Matlab3201

  • D-Parkinson1/DafnyInfoFlow

    An extension of the Dafny programming language that adds the ability to perform information flow analysis on a code file. The method of information flow analysis allows the verification of concurrent programs.

    Language:C#2201

  • matbut/Nexus

    Bots detection on Twitter based on information flow and link analysis

    2200

  • SolangeUG/information-flow

    Capstone project of the Coursera "Object Oriented Java Programming: Data Structures and Beyond" specialization. It investigates the cascading behavior (or information flow) within a social network.

    Language:Java2220

  • umangm/mopedqleak

    MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs

    Language:C2500

  • ACHARYAkishor/Transfer-Entropy

    Calculation of Renye Transfer Entropy

    Language:Jupyter Notebook1100

  • BFreitas16/SSof

    Software Security Projects : pentesting and static analysis

    Language:Python1100

  • marcoantoniocorallo/Trustee

    Trustee is a simple, statically typed, functional language that supports security primitives and taint analysis.

    Language:OCaml1100

  • lceragioli/SELinuxIFCIL

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

    Language:OCaml0300

  • alubbock/itmprobe-wrapper

    Docker wrapper for ITM Probe information flow tool

    Language:Game Maker Language20

  • diogocp/ssoft-project

    Language:Python35

  • Teemperor/cif

    Enforcing information flow in C-languages with Clang.

    Language:C++10

  • tyilo/fstar-ni

    Using F* to prove non-interference for a well-typed subset of programs written in a small imperative language

    30