2
Publications
24
Citations
2
H-Index
2011
Active since
Affiliations
The University of Texas at Austin(Current)
Michael McCoyd is an author at The University of Texas at Austin specializing in cryptography, information security, and system software.
Top concepts
EngineeringCryptographyData PrivacyData SecuritySystem SoftwareComputer ScienceHardware SecuritySoftware AnalysisFormal VerificationComputer Engineering
Publications per year
2011–2013
2
2
Building a Hypervisor on a Formally Verifiable Protection Layer
Michael McCoyd, Robert Bellarmine Krug, Deepak Goel et al. · 2013 · 13 citations
Engineering, Information Security, Computer Architecture +19
Rows per page
1–2 of 2