@InProceedings{SLSPvK2005,
  author = 		 {Arvind Seshadri and Mark Luk and Elaine Shi and
                  Adrian Perrig and Leendert van Doorn and Pradeep Khosla},
  title = 		 {Pioneer: Verifying Integrity and Guaranteeing
                  Execution of Code on Legacy Platforms},
  booktitle =	 {Proceedings of ACM Symposium on Operating Systems
                  Principles (SOSP)},
  pages =		 {1--15},
  year =		 2005,
  month =		 oct
}