@inproceedings{WildmoserNKN-TCS04,
author="Martin Wildmoser and Tobias Nipkow and Gerwin Klein and Sebastian Nanz",
title="Prototyping Proof Carrying Code",
booktitle="Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd 
Int. Conf. on Theoretical Computer Science (TCS2004)",
publisher="Kluwer Academic Publishers",
month="August",
year=2004,
editor="Jean-Jacques Levy and Ernst W. Mayr and John C. Mitchell",
pages="333--347", 
url =  "\url{http://www4.in.tum.de/~wildmosm/publications/WildmoserNKN-TCS04.pdf}"}