Michael McCoyd

According to our database, Michael McCoyd authored at least 8 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Background and Occlusion Defenses Against Adversarial Examples and Adversarial Patches.

Michael McCoyd

PhD thesis, 2020

Clipped BagNet: Defending Against Sticker Attacks with Clipped Bag-of-features.

Zhanyuan Zhang, Benson Yuan, Michael McCoyd, David A. Wagner

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

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

Proceedings of the Applied Cryptography and Network Security Workshops, 2020

2018

Background Class Defense Against Adversarial Examples.

Michael McCoyd, David A. Wagner

Proceedings of the 2018 IEEE Security and Privacy Workshops, 2018

2016

Spoofing 2D Face Detection: Machines See People Who Aren't There.

Michael McCoyd, David A. Wagner

CoRR, 2016

2013

Symbolic software model validation.

Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

Building a Hypervisor on a Formally Verifiable Protection Layer.

Michael McCoyd, Robert Bellarmine Krug, Deepak Goel, Mike Dahlin, William D. Young

Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

2011

Toward the Verification of a Simple Hypervisor

Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug, Michael McCoyd, William D. Young

Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011