2011 · 15 citations · 7 references
EngineeringInformation SecurityConfidential ComputingFormal VerificationSoftware AnalysisHardware SecuritySecure ComputingVirtualization SecurityEncrypted ProgramsOperating System SecurityComputer EngineeringData PrivacyComputer ScienceData SecurityCryptographySoftware SecurityCryptographic MeasuresProgram AnalysisSoftware TestingVirtualization ToolSystem SoftwareVirtual Machine
This paper presents Truly-protect, a system, incorporating a virtual machine, that enables execution of encrypted programs. Our intention is to form a framework for a conditional access/digital rights management system. We avoid relying on obscurity and rely only on assumptions about the system itself and on cryptographic measures to develop VM-based conditional access/trusted computing environment. Rolles in [18], proposes a general way of breaking systems of type described herein. We claim that Rolles' method fails to defeat our system.
7
Xen and the art of virtualization
Paul Barham, Boris Dragovic, Keir Fraser et al. · 2003 · 1.5K citations
Remus: high availability via asynchronous virtual machine replication
Brendan Cully, Geoffrey Lefebvre, Dutch T. Meyer et al. · 2008 · 584 citations
Secure in-VM monitoring using hardware virtualization
Monirul I. Sharif, Wenke Lee, Weidong Cui et al. · 2009 · 277 citations
Engineering, Information Security, Computer Architecture +16
Automatic Reverse Engineering of Malware Emulators
Monirul Sharif, Andrea Lanzi, Jonathon Giffin et al. · 2009 · 203 citations