information-flow | Topic | Ecosyste.ms: Repos

Topic: "information-flow"

SVF-tools/Teaching-Software-Analysis

Teaching and Learning Software Analysis via SVF

Language: C++ - Size: 28.6 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 197 - Forks: 117

dimgold/pycon_social_networkx

Social network analysis code examples for PyCon 2019 talk

Language: Jupyter Notebook - Size: 10.6 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 127 - Forks: 42

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: Java - Size: 13.6 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 24 - Forks: 18

TroupeLang/Troupe

Troupe programming language

Language: TypeScript - Size: 1.01 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 18 - Forks: 12

Neroysq/VyperFlow

A next-generation secure smart contract language for Ethereum.

Language: Python - Size: 1.43 MB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 13 - Forks: 1

sireum/v3-awas 📦

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

Language: JavaScript - Size: 51 MB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 1

m31L3r/KalmanFilter

A Kalman Filter in Simulink for easier understanding.

Size: 214 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 2

dfava/command

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

Language: C++ - Size: 70.3 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 1

Gradual-Typing/LambdaIFCStar

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

Language: Agda - Size: 971 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 4 - Forks: 1

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: Java - Size: 2.69 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

qluo2018/GCSDN

Granger Causality with Signal-dependent Noise

Language: Matlab - Size: 65.4 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 1

umangm/mopedqleak

MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs

Language: C - Size: 1.31 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

marcoantoniocorallo/Trustee

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

Language: OCaml - Size: 1.43 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - 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: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

ACHARYAkishor/Transfer-Entropy

Calculation of Renye Transfer Entropy

Language: Jupyter Notebook - Size: 62.5 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

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# - Size: 3.44 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1