Matthew A. Hammer

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 18

Top Topics

Quantifier Elimination

American Football

Functional Programming

Semantically Equivalent

Top Venues

IEEE Symposium on Security and Privacy

Publications