maxvonhippel

AttackerSynthesis

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

isec-sensors-scandal

Tracking the deployment of surveillance tech against Northeastern ISEC students

our-wedding

this is (I shit you not) the website for our wedding

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

acl2

ACL2 System and Books as Maintained by the Community

aixm-5.1

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

CanOpenJavaLibrary

An interface between canopen and java

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-back-n-fm

Formal model of Go-Back-N

go-libp2p

libp2p implementation in Go

gossipsub-hardening

testground plans for evaluating gossipsub under attack scenarios

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.

llvm-docker

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

localGPT

Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.

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

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

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