Max von Hippel PRO
maxvonhippel
·
AI & ML interests
Formal verification, mathematics, security.
Recent Activity
published
an
article
about 19 hours ago
🪐 [Introducing RealPBT: A large-scale dataset of property-based tests](https://huggingface.co/datasets/Benchify/realpbt)
authored
a paper
about 22 hours ago
Verification and Attack Synthesis for Network Protocols
authored
a paper
about 22 hours ago
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
Organizations
