SICE: A hardware-level strongly isolated computing environment for x86 multi-core platformsAhmed M. AzabPeng Ninget al.2011CCS 2011
Always up-to-date - Scalable offline patching of VM images in a compute cloudWu ZhouPeng Ninget al.2010ACSAC 2010
Managing security of virtual machine images in a cloud environmentJinpeng WeiXiaolan Zhanget al.2009CCS 2009
Remote attestation to dynamic system properties: Towards providing complete system integrity evidenceChongkyung KilEmre C. Sezeret al.2009DSN 2009
Automated security debugging using program structural constraintsChongkyung KilEmre Can Sezeret al.2007ACSAC 2007