DEV Community

Max von Hippel profile picture

Max von Hippel

Computer scientist / mathematician.

Education

University of Arizona '19 BS in Mathematics. Current PhD student at Northeastern.

Work

Graduate Research Assistant

Automated attack synthesis by extracting protocol FSMs from RFCs

Automated attack synthesis by extracting protocol FSMs from RFCs

Reactions 10 Comments 2
8 min read
PL Tutorial for Sean

PL Tutorial for Sean

Reactions 1 Comments
5 min read
Automated Attacker Synthesis for Distributed Protocols

Automated Attacker Synthesis for Distributed Protocols

Reactions 5 Comments
5 min read
Simple Number-Theoretic Insights with Python

Simple Number-Theoretic Insights with Python

Reactions 18 Comments
2 min read
Hi, I'm Max von Hippel

Hi, I'm Max von Hippel

Reactions 16 Comments 1
1 min read
loading...