Toward the Verification of a Simple Hypervisor - Mike Dahlin; Ryan Johnson 003; Robert Bellarmine Krug; Michael McCoyd; William D. Young (ACL2, 2011)

Building a Hypervisor on a Formally Verifiable Protection Layer. - Michael McCoyd; Robert Bellarmine Krug; Deepak Goel; Mike Dahlin; William D. Young (HICSS, 2013)

Symbolic software model validation. - Cynthia Sturton; Rohit Sinha 001; Thurston H. Y. Dang; Sakshi Jain; Michael McCoyd; Wei Yang Tan; Petros Maniatis; Sanjit A. Seshia; David A. Wagner 001 (MEMOCODE, 2013)

Spoofing 2D Face Detection: Machines See People Who Aren't There. - Michael McCoyd; David A. Wagner 001 (CoRR, 2016)

Background Class Defense Against Adversarial Examples. - Michael McCoyd; David A. Wagner 001 (IEEE Symposium on Security and Privacy Workshops, 2018)

Minority Reports Defense: Defending Against Adversarial Patches. - Michael McCoyd; Won Park; Steven Chen; Neil Shah; Ryan Roggenkemper; Minjune Hwang; Jason Xinyu Liu; David A. Wagner 001 (ACNS Workshops, 2020)

Clipped BagNet: Defending Against Sticker Attacks with Clipped Bag-of-features. - Zhanyuan Zhang; Benson Yuan; Michael McCoyd; David A. Wagner 001 (SP (Workshops), 2020)

Background and Occlusion Defenses Against Adversarial Examples and Adversarial Patches. - Michael McCoyd (2020)