A Formal Analysis of Karn's Algorithm

1 code implementation • International Conference on Networked Systems 2023 • Max von Hippel, Cristina Nita-Rotaru, Kenneth L. McMillan, Lenore Zuck

We present a formal description of the algorithm, and study its properties.

Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents

3 code implementations • IEEE Security and Privacy 2022 • Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru

We show the generalizability of our FSM extraction by using the RFCs for six different protocols: BGPv4, DCCP, LTP, PPTP, SCTP and TCP.

Representation Learning Zero-Shot Learning

Automated Attacker Synthesis for Distributed Protocols

3 code implementations • 2 Apr 2020 • Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru

Distributed protocols should be robust to both benign malfunction (e. g. packet loss or delay) and attacks (e. g. message replay) from internal or external adversaries.

Cryptography and Security Formal Languages and Automata Theory