Michael McCoyd
发表
Zhanyuan Zhang,
Benson Yuan,
Michael McCoyd,
2020,
2020 IEEE Security and Privacy Workshops (SPW).
David A. Wagner,
Michael McCoyd,
2016,
ArXiv.
Michael Dahlin,
Deepak Goel,
William D. Young,
2013,
2013 46th Hawaii International Conference on System Sciences.
David A. Wagner,
Michael McCoyd,
2018,
2018 IEEE Security and Privacy Workshops (SPW).
Michael Dahlin,
William D. Young,
Robert Bellarmine Krug,
2011,
ACL2.
Sanjit A. Seshia,
David A. Wagner,
Cynthia Sturton,
2013,
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).
Michael McCoyd,
David Wagner,
Steven Chen,
2020,
ACNS Workshops.