Automated security debugging using program structural constraintsChongkyung KilEmre Can Sezeret al.2007ACSAC 2007
Remote attestation to dynamic system properties: Towards providing complete system integrity evidenceChongkyung KilEmre C. Sezeret al.2009DSN 2009