Max von Hippel PRO

maxvonhippel's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored 9 papers 1 day ago

Verification and Attack Synthesis for Network Protocols

Paper • 2511.01124 • Published Nov 3, 2025

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification

Paper • 2403.05663 • Published Mar 8, 2024

Verification of GossipSub in ACL2s

Paper • 2311.08859 • Published Nov 15, 2023

A Case Study in Analytic Protocol Analysis in ACL2

Paper • 2311.08855 • Published Nov 15, 2023

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

Paper • 2301.10704 • Published Jan 25, 2023

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

Paper • 2301.06977 • Published Jan 17, 2023

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

Paper • 2212.05197 • Published Dec 10, 2022

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

Paper • 2202.09470 • Published Feb 18, 2022

Automated Attacker Synthesis for Distributed Protocols

Paper • 2004.01220 • Published Apr 2, 2020