SVF-tools/Teaching-Software-Analysis

Teaching and Learning Software Analysis via SVF

Language: C++ - Size: 28.6 MB - Last synced: 3 days ago - Pushed: 4 days ago - Stars: 179 - Forks: 110

Gradual-Typing/LambdaIFCStar

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

Language: Agda - Size: 927 KB - Last synced: 9 days ago - Pushed: 10 days ago - Stars: 3 - Forks: 0

lceragioli/SELinuxIFCIL

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

Language: OCaml - Size: 4.72 MB - Last synced: 14 days ago - Pushed: 15 days ago - Stars: 0 - Forks: 0

tyilo/fstar-ni

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

Size: 27.3 KB - Last synced: 23 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

TroupeLang/Troupe

Troupe programming language

Language: TypeScript - Size: 1.01 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 18 - Forks: 12

dimgold/pycon_social_networkx

Social network analysis code examples for PyCon 2019 talk

Language: Jupyter Notebook - Size: 10.6 MB - Last synced: 6 months ago - Pushed: over 1 year ago - Stars: 127 - Forks: 42

alubbock/itmprobe-wrapper

Docker wrapper for ITM Probe information flow tool

Language: Game Maker Language - Size: 156 KB - Last synced: 7 months ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

dfava/command

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

Language: C++ - Size: 70.3 KB - Last synced: 8 months ago - Pushed: about 6 years ago - Stars: 5 - Forks: 1

ACHARYAkishor/Transfer-Entropy

Calculation of Renye Transfer Entropy

Language: Jupyter Notebook - Size: 62.5 KB - Last synced: 12 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

Neroysq/VyperFlow

A next-generation secure smart contract language for Ethereum.

Language: Python - Size: 1.43 MB - Last synced: 8 months ago - Pushed: almost 6 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: about 2 months ago - Pushed: about 2 years ago - Stars: 5 - Forks: 1

matbut/Nexus

Bots detection on Twitter based on information flow and link analysis

Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

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: about 1 year ago - Pushed: almost 3 years ago - Stars: 24 - Forks: 18

diogocp/ssoft-project 📦

Language: Python - Size: 308 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

m31L3r/KalmanFilter

A Kalman Filter in Simulink for easier understanding.

Size: 214 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 6 - Forks: 2

qluo2018/GCSDN

Granger Causality with Signal-dependent Noise

Language: Matlab - Size: 65.4 KB - Last synced: 11 months ago - Pushed: about 6 years ago - Stars: 2 - Forks: 1

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

umangm/mopedqleak

MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs

Language: C - Size: 1.31 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

BFreitas16/SSof

Software Security Projects : pentesting and static analysis

Language: Python - Size: 580 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

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: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

Teemperor/cif

Enforcing information flow in C-languages with Clang.

Language: C++ - Size: 367 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0