Skip to content

Max von Hippel

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

4

Venues

2

Active years

2020–2025

Best venue rank

A*

Where they publish

Papers

4 indexed papers, newest first.

YearVenueTitleAuthors
2025SPResearch Report: AI Security is a LangSec Problem.Max von Hippel, Evan Miyazono
2024SPFormal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers.Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru
2022SPAutomated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents.Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru
2020SAFECOMPAutomated Attacker Synthesis for Distributed Protocols.Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru