Search Results for author: Max von Hippel

Found 3 papers, 3 papers with code

Automated Attacker Synthesis for Distributed Protocols

3 code implementations2 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

Cannot find the paper you are looking for? You can Submit a new open access paper.