maxvonhippel

AttackerSynthesis

🤖KORG: Tool, Models, and Supplementary Materials for Attacker Synthesis

isec-sensors-scandal

Tracking the deployment of surveillance tech against Northeastern ISEC students

bostoncc

Website for the Boston Computation Club

bryden.pod

old-website

Max von Hippel's Landing Page

Stellar-Visualizer

Visualization tool for stellar velocity & age data

aixm-5.1

Provides Java XML Bindings for the AIXM 5.1 Schema for use with the FAA SWIM FNS Service.

communication-complexity

Final presentation on Communication Complexity

CProgramToSMT

dreal3

There is a new version of dReal, available at https://github.com/dreal/dreal4

dtmc_attack_synthesis

go-libp2p

libp2p implementation in Go

gossipsub-hardening

testground plans for evaluating gossipsub under attack scenarios

hylaa

Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs

ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

L2

λ² is a tool for synthesizing functional programs from input-output examples.

llvm-docker

A minimal Docker container built with specific versions of LLVM and Clang

lotus-bf

Implementation of the Filecoin protocol, written in Go

lotus-devnet-modified

Contanerized Lotus devnet using a mocked sectorbuilder

map-for-renee

maxvonhippel.github.io

paper-requirement

Submission to satisfy the paper requirement toward becoming a PhD Candidate at Northeastern University

prose

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.

PVS

The People's Verification System

py-libp2p

The Python implementation of the libp2p networking stack 🐍 [under development]

Python-versus-C

Funny little demo I made for Sophia

S3CAMX

Simulate and Scatter with Symbolic Execution

SaverECS

SaverECS : A safety verification tool for verification of embedded control software running in closed-loop with plants, under perturbations and different scheduling scenarios.

specs

Technical specifications for the libp2p networking stack

sreach

SReach is a Bounded Model Checker for hybrid systems with parametric uncertainty, and probabilistic hybrid automata with addtional randomness. It combines dreal/dreach and statistical analyzing methods.