Max von Hippel

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 14

Top Topics

Formal Analysis

Finite State Machines

Multi Robot Systems

Protocol Specification

Top Venues

IEEE Symposium on Security and Privacy

USENIX Security Symposium

Publications