Max von Hippel

Computer scientist / mathematician.

Flagstaff, Arizona Joined on Jun 7, 2017 maxvonhippel1996@gmail.com http://mxvh.pl

Education

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

Work

Graduate Research Assistant

Python, Java, Bash, Lisp, Racket, Javascript, Promela, Alloy, HTML, CSS, etc.

I primarily research formal methods and security. I am also interested in abstract mathematics.

Open-source security and academic research projects.

5 posts published

6 comments written

10 tags followed

Max von Hippel

Feb 9 '22

Automated attack synthesis by extracting protocol FSMs from RFCs

#fm #nlp #rfc #security

8 min read

Want to connect with Max von Hippel?

Create an account to connect with Max von Hippel. You can also sign in below to proceed if you already have an account.

Create Account

Already have an account? Sign in

Max von Hippel

Aug 7 '20

PL Tutorial for Sean

#pl #lambda #pi #grammar

5 min read

Max von Hippel

Jun 23 '20

Automated Attacker Synthesis for Distributed Protocols

#formalmethods #synthesis #security #protocol

5 min read

Max von Hippel

Jan 22 '18

Simple Number-Theoretic Insights with Python

#mathematics #python #modulo #cryptology

2 min read

Max von Hippel

Jun 10 '17

Hi, I'm Max von Hippel

#introductions

1 min read

DEV Community

Max von Hippel

Badges

Six Year Club

Five Year Club

Four Year Club

Three Year Club

Two Year Club

One Year Club

Skills/Languages

Currently learning

Available for

Automated attack synthesis by extracting protocol FSMs from RFCs

Want to connect with Max von Hippel?

PL Tutorial for Sean

Automated Attacker Synthesis for Distributed Protocols

Simple Number-Theoretic Insights with Python

Hi, I'm Max von Hippel