Max von Hippel

17 papers A* 3A 2B 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Research Report: AI Security is a LangSec Problem.
SP (Workshops)
Max von Hippel, Evan Miyazono
2025 J jnl
Verification and Attack Synthesis for Network Protocols.
CoRR
Max von Hippel
2024 A* conf
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification.
USENIX Security Symposium
Jacob Ginesin, Max von Hippel, Evan Defloor, Cristina Nita-Rotaru, Michael Tüxen
2024 J jnl
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification.
CoRR
Jacob Ginesin, Max von Hippel, Evan Defloor, Cristina Nita-Rotaru, Michael Tüxen
2024 A* conf
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers.
SP
Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru
2023 — conf
A Case Study in Analytic Protocol Analysis in ACL2.
ACL2
Max von Hippel, Panagiotis Manolios, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck
2023 — conf
A Formal Analysis of Karn's Algorithm.
NETYS
Max von Hippel, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck
2023 A conf
Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations.
AAMAS
Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
2023 J jnl
Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations.
CoRR
Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
2023 A conf
HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements.
AAMAS
Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
2023 J jnl
HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements.
CoRR
Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
2023 — conf
Verification of GossipSub in ACL2s.
ACL2
Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru
2022 A* conf
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents.
SP
Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru
2022 J jnl
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents.
CoRR
Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru
2022 J jnl
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers.
CoRR
Ankit Kumar, Max von Hippel, Pete Manolios, Cristina Nita-Rotaru
2020 B conf
Automated Attacker Synthesis for Distributed Protocols.
SAFECOMP
Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru
2020 J jnl
Automated Attacker Synthesis for Distributed Protocols.
CoRR
Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru