Ben Weintraub

Publication Activity (10 Years)

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

Top Topics

Protocol Specification

Formal Analysis

Finite State Machines

Functional Decomposition

Top Venues

IEEE Symposium on Security and Privacy

EuroS&P Workshops

Publications