Author

Max von Hippel

Max von Hippel is a 5th year PhD student in computer science in the NDS2 Lab at Northeastern University, advised by Dr. Cristina Nita-Rotaru. His research focuses on the automatic synthesis of attacks against protocols.

https://mxvh.pl/

maxvonhippel

A formal analysis of Karn’s Algorithm

By Max von Hippel on 25 Jul 2023

Guest Post: Analysing Karn’s Algorithm and the RTO computations described in RFC 6298.

Formally verifying protocols from textual specifications

By Max von Hippel on 19 Oct 2022

Guest Post: A data-driven approach for extracting Finite State Machines from RFCs.