Michael McCoyd

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 5

Top Topics

Model Validation

Smoke Detection

Appearance Descriptors

Top Venues

IEEE Symposium on Security and Privacy Workshops

Publications

Zhanyuan Zhang, Benson Yuan, Michael McCoyd, David A. Wagner
Clipped BagNet: Defending Against Sticker Attacks with Clipped Bag-of-features. SP Workshops (2020)
Michael McCoyd, Won Park, Steven Chen, Neil Shah, Ryan Roggenkemper, Minjune Hwang, Jason Xinyu Liu, David A. Wagner
Minority Reports Defense: Defending Against Adversarial Patches. CoRR (2020)
Michael McCoyd, Won Park, Steven Chen, Neil Shah, Ryan Roggenkemper, Minjune Hwang, Jason Xinyu Liu, David A. Wagner
Minority Reports Defense: Defending Against Adversarial Patches. ACNS Workshops (2020)
Michael McCoyd, David A. Wagner
Background Class Defense Against Adversarial Examples. IEEE Symposium on Security and Privacy Workshops (2018)
Michael McCoyd, David A. Wagner
Spoofing 2D Face Detection: Machines See People Who Aren't There. CoRR (2016)
Michael McCoyd, Robert Bellarmine Krug, Deepak Goel, Mike Dahlin, William D. Young
Building a Hypervisor on a Formally Verifiable Protection Layer. HICSS (2013)
Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner
Symbolic software model validation. MEMOCODE (2013)
Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug, Michael McCoyd, William D. Young
Toward the Verification of a Simple Hypervisor ACL2 (2011)