@PhdThesis{Wildmoser-PhD,
  author =       {Martin Wildmoser},
  title =        {Verified Proof Carrying Code},
  school =       {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
  year =         {2005},
  url =          {\url{http://www4.in.tum.de/~wildmosm/publications/dissmw.pdf}}}