Scholar
Max von Hippel
Google Scholar ID: ZGIv2VQAAAAJ
Benchify, Inc
Formal Methods
Abstract Algebra
Algorithms
Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
22,273
H-index
5
i10-index
5
Publications
14
Co-authors
16
list available
Publications
3 items
FVSpec: Real-World Property-Based Tests as Lean Challenges
2026
Cited
0
Automated Channel Fault Analysis with Tofu
2026
Cited
0
Verification and Attack Synthesis for Network Protocols
2025
Cited
0
Co-authors
8 total
Cristina Nita-Rotaru
Professor, Khoury College of Computer Science, Northeastern University
Dan Goldwasser
Purdue University
Maria Leonor Pacheco
Assistant Professor, University of Colorado Boulder
Stavros Tripakis
Associate Professor, Northeastern University
Ankit Kumar
Northeastern University
Roberto Tron
Associate Professor - Boston University
Wenchao Li
Associate Professor, Boston University
Kenneth McMillan
Microsoft Research
