Hi! My name is Max von Hippel

Max von Hippel ... and I am a PhD student at Northeastern University Khoury College of Computer Science, advised by Dr. Cristina Nita-Rotaru in the NDS2 group. I have a BS in pure mathematics from the University of Arizona, and an International IB diploma from UWCCR. My research focuses on the automatic discovery of attacks against protocols, using formal methods. In my free-time, I help run the Boston Computation Club. You can email me at maxvh-at-hey-dot-com. My old website is archived here.

p.s. ask me about my new project, Benchify! đź‘€

Publications

package Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers, by Ankit Kumar, Max von Hippel, Pete Manolios, & Cristina Nita-Rotaru. IEEE S&P, 2024. [CVE] [PREPRINT] [CODE]
package Verification of GossipSub in ACL2s, by Ankit Kumar, Max von Hippel, Pete Manolios, & Cristina Nita-Rotaru. Best Student Paper Award! ACL2, 2023. [PDF] [CODE]
package A Case Study in Analytic Protocol Analysis in ACL2, by Max von Hippel, Pete Manolios, Kenneth L. McMillan, Cristina Nita-Rotaru, & Lenore Zuck. 2nd Best Student Paper Award! ACL2, 2023. [PDF] [CODE]
package A Formal Analysis of Karn’s Algorithm, by Max von Hippel, Kenneth L. McMillan, Cristina Nita-Rotaru, & Lenore Zuck. Best Paper Award! NETYS, 2023. [PDF] [CODE] [KHOURY NEWS] [APNIC BLOG] [RIPE BLOG]
map HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon- Limiting Announcements, by Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, & Wenchao Li. AAMAS, 2023. [CODE] [PDF]
bee Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations, by Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, & Wenchao Li. AAMAS, 2023. [CODE] [PDF]
reading Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents, by Maria Lenore Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, & Cristina Nita-Rotaru. IEEE S&P, 2022. [CODE] [PDF] [DEV BLOG] [APNIC BLOG] [VIDEO] [TEASER]
robot Automated Attacker Synthesis for Distributed Protocols, by Max von Hippel, Cole Vick, Stavros Tripakis, & Cristina Nita-Rotaru. SafeCOMP 2020. [CODE] [PDF] [DEV BLOG] [VIDEO]
ice Long-Term and Inter-Annual Mass Changes in the Iceland Ice Cap Determined from GRACE Gravity using Slepian Functions, by Max von Hippel & Christopher Harig. Frontiers in Earth Science, 2019. [CODE]
DNA Reproducible, Interactive, Scalable and Extensible Microbiome Data Science using QIIME 2, by Evan Bolyen, Jai Ram Rideout, Matthew R Dillon, [...], Max von Hippel, [...], & Greg Caporaso. Nature Biotechnology, 2019. [CODE]

Research Talks

package A Case Study in Analytic Protocol Analysis in ACL2. Presented to the ACL2 Workshop (2023) and Galois Tech Talks (2023).
handshake Formal Analysis of Ethereum’s GossipSub in ACL2s. Presented to New England Systems Verification Day (2022).
reading Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents. Presented with Maria Lenore Pacheco to Microsoft Research Redmond Cryptography and Privacy Colloquium (2022), MIT CSAIL Security Seminar (2022), Trail of Bits Security Seminar (2022), ASU SEFCOM Seminar (2022), & IETF ANRW (2022).
robot Automated Attacker Synthesis for Distributed Protocols. Presented to NDS2 Seminar (2019), University of Arizona Mathematics Seminar (2019), MIT CSAIL Security Seminar (2020), University of Connecticut Security Seminar (2020), & Lindy Labs Lunch Seminar (2022). Presented in Spanish to Universidad del Valle de Guatemala Mathematics Seminar (2022).

Internships

galois Galois: Working on the DETECT project, as part of DARPA's HARDEN program. (Fall 2023)
DoD Department of Defense. (Summer 2019)
nasa National Aeronautics and Space Administration: Working on super-sonic ADS-B for the FA-18B war-bird. (Summer 2018)
nasa National Aeronautics and Space Administration: Estimating ice mass loss in Iceland using GRACE data. (Fall 2017/Spring 2018)

Committee Memberships

microscope IETF Usable Formal Methods Working Group (2023)
satellite World Technology Games Advisory Group (2023-now)

Emojis from OpenMoji