@Article{SeLuPevaKh2006a,
  author =               {Arvind Seshadri and Mark Luk and Adrian Perrig and
                  Leendert van Doorn and Pradeep Khosla},
  title =                {Externally Verifiable Code Execution},
  journal =      {Communications of the ACM},
  year =                 2006,
  volume =               49,
  number =               9,
  pages =                {45--49},
  month =                sep,
}