HIMA: A hypervisor-based integrity measurement agentAhmed M. AzabPeng Ninget al.2009ACSAC 2009Conference paper
Remote attestation to dynamic system properties: Towards providing complete system integrity evidenceChongkyung KilEmre C. Sezeret al.2009DSN 2009Conference paper
Automated security debugging using program structural constraintsChongkyung KilEmre Can Sezeret al.2007ACSAC 2007Conference paper