Dmitry Malloy

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Hamming Distance

Countermeasures

Surface Registration

Top Venues

Publications

Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
Hardening attack surfaces with formally proven binary format parsers. PLDI (2022)