Max von Hippel

According to our database, Max von Hippel authored at least 9 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification.

Jacob Ginesin, Max von Hippel, Evan Defloor, Cristina Nita-Rotaru, Michael Tüxen

Proceedings of the 33rd USENIX Security Symposium, 2024

Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers.

Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru

Proceedings of the IEEE Symposium on Security and Privacy, 2024

2023

Verification of GossipSub in ACL2s.

Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023

A Case Study in Analytic Protocol Analysis in ACL2.

Max von Hippel, Panagiotis Manolios, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023

A Formal Analysis of Karn's Algorithm.

Max von Hippel, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck

Proceedings of the Networked Systems - 11th International Conference, 2023

HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements.

Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations.

Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

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

Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2020

Automated Attacker Synthesis for Distributed Protocols.

Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru

Proceedings of the Computer Safety, Reliability, and Security, 2020