Verification and Attack Synthesis for Network Protocols
Paper • 2511.01124 • Published
Max von Hippel
maxvonhippel
AI & ML interests
Formal verification, mathematics, security.
Organizations
authored 9
papers 4 months ago
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
Paper • 2403.05663 • Published
Verification of GossipSub in ACL2s
Paper • 2311.08859 • Published
A Case Study in Analytic Protocol Analysis in ACL2
Paper • 2311.08855 • Published
HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements
Paper • 2301.10704 • Published
Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations
Paper • 2301.06977 • Published
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers
Paper • 2212.05197 • Published
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
Paper • 2202.09470 • Published
Automated Attacker Synthesis for Distributed Protocols
Paper • 2004.01220 • Published