@inproceedings{WildmoserNKN-TCS04,
  author="Martin Wildmoser and Tobias Nipkow and Gerwin Klein and Sebastian Nanz",
  title="Prototyping Proof Carrying Code",
  booktitle="Proc.\ TCS 3rd Int.\ Conf.\ on Theoretical Computer Science (TCS2004)",
  publisher="Kluwer Academic Publishers",
  month=Aug,
  year=2004,
  editor="Jean-Jacques Levy and Ernst W. Mayr and John C. Mitchell",
  pages="333--347", 
}