@article{Chaki2018, author = "Sagar Chaki and Amit Vasudevan and Limin Jia and Jonathan M. McCune and Anupam Datta", title = "{Design, Development and Automated Verification of an Integrity-Protected Hypervisor (CMU-CyLab-12-017)}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Design_Development_and_Automated_Verification_of_an_Integrity-Protected_Hypervisor_CMU-CyLab-12-017_/6467849", doi = "10.1184/R1/6467849.v1" }