@InProceedings{McPaPeReSe2007,
  author =    {Jonathan M. Mc{C}une and Bryan Parno and Adrian Perrig and Michael K. Reiter and Arvind Seshadri},
  title =     {Minimal {TCB} Code Execution (Extended Abstract)},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy},
  year =      2007,
  month =     may,
  url =       {http://www.ece.cmu.edu/~jmmccune/papers/mccune_parno_perrig_reiter_seshadri_mintcb.pdf}
}