Article
Max von Hippel PRO
maxvonhippel
·
AI & ML interests
Formal verification, mathematics, security.
Recent Activity
published
an
article
about 20 hours ago
🪐 [Introducing RealPBT: A large-scale dataset of property-based tests](https://huggingface.co/datasets/Benchify/realpbt)
authored
a paper
about 24 hours ago
Verification and Attack Synthesis for Network Protocols
authored
a paper
about 24 hours ago
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
Organizations
published
an
article
about 20 hours ago
authored
9
papers
about 24 hours ago
Verification and Attack Synthesis for Network Protocols
Paper
•
2511.01124
•
Published
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
updated
a
dataset
1 day ago
published
a
dataset
1 day ago