Follow
Michael McCoyd
Michael McCoyd
PhD student, UC Berkeley
Verified email at berkeley.edu
Title
Cited by
Cited by
Year
Minority reports defense: Defending against adversarial patches
M McCoyd, W Park, S Chen, N Shah, R Roggenkemper, M Hwang, JX Liu, ...
International Conference on Applied Cryptography and Network Security, 564-582, 2020
572020
Clipped bagnet: Defending against sticker attacks with clipped bag-of-features
Z Zhang, B Yuan, M McCoyd, D Wagner
2020 IEEE Security and Privacy Workshops (SPW), 55-61, 2020
462020
Toward the verification of a simple hypervisor
M Dahlin, R Johnson, RB Krug, M McCoyd, W Young
arXiv preprint arXiv:1110.4672, 2011
212011
Building a hypervisor on a formally verifiable protection layer
M McCoyd, RB Krug, D Goel, M Dahlin, W Young
2013 46th Hawaii International Conference on System Sciences, 5069-5078, 2013
172013
Background class defense against adversarial examples
M McCoyd, D Wagner
2018 IEEE Security and Privacy Workshops (SPW), 96-102, 2018
162018
Spoofing 2D Face Detection: Machines See People Who Aren't There
M McCoyd, D Wagner
arXiv preprint arXiv:1608.02128, 2016
62016
Symbolic software model validation
C Sturton, R Sinha, THY Dang, S Jain, M McCoyd, WY Tan, P Maniatis, ...
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models …, 2013
52013
Background and Occlusion Defenses Against Adversarial Examples and Adversarial Patches
MJ McCoyd
University of California, Berkeley, 2020
2020
Verifying a Binary Micro-Hypervisor Intercept Handler
N Carlini, M McCoyd, R Sinha
The system can't perform the operation now. Try again later.
Articles 1–9