#

information-flow

Here are 16 public repositories matching this topic...

dimgold / pycon_social_networkx

Star

Social network analysis code examples for PyCon 2019 talk

python social-networks social-network network pydata network-theory jupyter-notebook pagerank game-of-thrones pandas networkx graph-theory pycon social-network-analysis betweenness-centrality influence-maximization eurovision information-flow information-diffusion pycon2019

Updated Jan 17, 2021
Jupyter Notebook

ProjectEKA / consent-manager

Star

Open

Implement CM ID exists API along with capping feature for security.

bipul-jha commented Sep 18, 2020

Implement an API to search whether the entered CM ID exists in our DB, when searched using our mobile app.
Also, take in consideration the number of attempts that can be made in a given time which can be discussed once someone sign up for this.

Read more

good first issue api-contract

Neroysq / VyperFlow

Star

A next-generation secure smart contract language for Ethereum.

compiler smart-contract information-flow vyper vyperflow

Updated Jul 18, 2018
Python

TroupeLang / Troupe

Star

Troupe programming language

security compiler information-flow-control information-flow information-flow-tracking language-based-security dynamic-monitoring

Updated Mar 26, 2021
Haskell

sireum / v3-awas

Star

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

fault-tree risk-analysis static-analysis dependency-analysis dependency-graph aadl domain-specific-language fault-detection information-flow stpa sireum hazard-analysis-framework

Updated Mar 19, 2021
Scala

dfava / command

Star

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

c-plus-plus bison flex llvm compilers information-flow

Updated May 3, 2018
C++

m31L3r / KalmanFilter

Star

A Kalman Filter in Simulink for easier understanding.

simulink kalman-filter kalman simulink-model information-flow kalman-estimator

Updated Nov 24, 2020

SolangeUG / information-flow

Star

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.

graph-algorithms maven social-network javafx java-8 junit5 graphstream information-flow

Updated Sep 5, 2019
Java

qluo2018 / GCSDN

Star

Granger Causality with Signal-dependent Noise

dynamic-systems time-series-analysis information-flow time-varying effective-connectivity

Updated May 1, 2018
MATLAB

umangm / mopedqleak

Star

MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs

symbolic binary-decision-diagrams model-checking information-flow information-leakage

Updated Oct 30, 2018
C

Tyilo / fstar-ni

Star

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

fstar information-flow

Updated Jul 7, 2018

alubbock / itmprobe-wrapper

Star

Docker wrapper for ITM Probe information flow tool

dockerfile information-flow network-biology itm-probe

Updated Oct 7, 2014
Game Maker Language

BFreitas16 / SSof

Star

Software Security Projects : pentesting and static analysis

python static-analysis pentest information-flow

Updated Dec 26, 2020
Python

matbut / Nexus

Star

Bots detection on Twitter based on information flow and link analysis

twitter-bot graph-database graph-analysis bot-detection link-analysis information-flow

Updated Mar 31, 2021

Teemperor / cif

Star

Enforcing information flow in C-languages with Clang.

security cpp static-analysis clang information-flow clang-static-analyzer

Updated May 25, 2018
C++

diogocp / ssoft-project

Star

security static-analysis course-project information-flow

Updated Nov 21, 2017
Python

Improve this page

Add a description, image, and links to the information-flow topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the information-flow topic, visit your repo's landing page and select "manage topics."