Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines

TitleLeveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines
Publication TypeConference Paper
Year of Publication2014
AuthorsSantos N, Lopes NP
Conference Name10th Workshop on Hot Topics in System Dependability (HotDep 14)
Date Published10/2014
PublisherUSENIX Association
Conference LocationBroomfield, CO
URLhttps://www.usenix.org/conference/hotdep14/workshop-program/presentation/santos