3
Publications
57
Citations
3
H-Index
2008
Active since
Affiliations
The University of Texas at Austin(Current)
Robert Bellarmine Krug is an author at The University of Texas at Austin specializing in formal verification, engineering, and formal specification.
Top concepts
EngineeringFormal VerificationDesignCryptographyData PrivacyData SecurityFormal MethodsSystem SoftwareComputer ScienceHardware Security
Publications per year
2008–2013
3
3
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–3 of 3