3 papers
cs.SE2026
FVSpec: Real-World Property-Based Tests as Lean Challenges
Quinn Dougherty, Max von Hippel, Simon Henniger +2
We present a benchmark for evaluating AI models and agents on real-world formal software verification tasks. We first scrape 11,039 property-based tests (PBTs) from real-world Pyth…
cs.CR2026
Automated Channel Fault Analysis with Tofu
Jacob Ginesin, Max von Hippel, Cristina Nita-Rotaru
Distributed protocols are the linchpin of the modern internet, underpinning every internet service. This has in turn motivated a massive body of research ensuring the security, rel…
cs.CR2025
Verification and Attack Synthesis for Network Protocols
Max von Hippel
Network protocols are programs with inputs and outputs that follow predefined communication patterns to synchronize and exchange information. There are many protocols and each serv…