Scholar

Max von Hippel

Google Scholar ID: ZGIv2VQAAAAJ

Benchify, Inc

Formal MethodsAbstract AlgebraAlgorithmsSecurity

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

22,273

H-index

5

i10-index

5

Publications

14

Co-authors

16

list available

Contact

No contact links provided.

Publications

2 items

Automated Channel Fault Analysis with Tofu

2026

Cited

0

Verification and Attack Synthesis for Network Protocols

2025

Cited

0

Resume (English only)

Co-authors

16 total

Cristina Nita-Rotaru

Professor, Khoury College of Computer Science, Northeastern University

Purdue University

Maria Leonor Pacheco

Assistant Professor, University of Colorado Boulder

Stavros Tripakis

Associate Professor, Northeastern University

Northeastern University