Max von Hippel

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 14

Top Topics

Formal Analysis

Finite State Machines

Multi Robot Systems

Protocol Specification

Top Venues

IEEE Symposium on Security and Privacy

USENIX Security Symposium

Publications

Jacob Ginesin, Max von Hippel, Evan Defloor, Cristina Nita-Rotaru, Michael Tüxen
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification. CoRR (2024)
Jacob Ginesin, Max von Hippel, Evan Defloor, Cristina Nita-Rotaru, Michael Tüxen
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification. USENIX Security Symposium (2024)
Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru
Verification of GossipSub in ACL2s. CoRR (2023)
Max von Hippel, Panagiotis Manolios, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck
A Case Study in Analytic Protocol Analysis in ACL2. CoRR (2023)
Max von Hippel, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck
A Formal Analysis of Karn's Algorithm. NETYS (2023)
Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations. CoRR (2023)
Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements. CoRR (2023)
Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements. AAMAS (2023)
Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations. AAMAS (2023)
Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents. CoRR (2022)
Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents. IEEE Symposium on Security and Privacy (2022)
Ankit Kumar, Max von Hippel, Pete Manolios, Cristina Nita-Rotaru
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers. CoRR (2022)
Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru
Automated Attacker Synthesis for Distributed Protocols. SAFECOMP (2020)
Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru
Automated Attacker Synthesis for Distributed Protocols. CoRR (2020)