Teaching and Learning Software Analysis via SVF

Social network analysis code examples for PyCon 2019 talk

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.

Troupe programming language

A next-generation secure smart contract language for Ethereum.

A Kalman Filter in Simulink for easier understanding.

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

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

Information-Theoretic Measure of Causality

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

Granger Causality with Signal-dependent Noise

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

Transfer entropy analysis pipeline for studying causal information flow between financial news sentiment and STOXX 50 stock returns. Implements complete workflow from Eikon data collection through FinBERT sentiment analysis to transfer entropy computation using IDTxl.

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.

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.

[WACV 2026] FG-TRACER: Tracing Information Flow in Multimodal Large Language Models in Free-Form Generation

Calculation of Renye Transfer Entropy

Bots detection on Twitter based on information flow and link analysis

MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs

Resource Diagrams is a Python library for modeling AI agent systems using string diagrams from monoidal category theory. It implements key ideas from Dusko Pavlovic’s Monoidal Computer framework and provides practical tools for representing and analyzing policy copying, tool definitions, memory, and information flow in agent scaffolds.