Prototyping Proof-Carrying Code

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 3rd IFIP International Conference on Theoretical Computer Science (TCS'04)
Publication date	2004
Publication status	Published - 2004
Event	3rd IFIP International Conference on Theoretical Computer Science - Toulouse, France Duration: 22 Aug 2004 → 27 Aug 2004

Conference	3rd IFIP International Conference on Theoretical Computer Science
Country/Territory	France
City	Toulouse
Period	22/08/2004 → 27/08/2004

OpenUrl availability

@inproceedings{e93252896fa14c7ab831b247133a4b74,

title = "Prototyping Proof-Carrying Code",

author = "Martin Wildmoser and Tobias Nipkow and Gerwin Klein and Sebastian Nanz",

year = "2004",

language = "English",

booktitle = "Proceedings of the 3rd IFIP International Conference on Theoretical Computer Science (TCS'04)",

note = "3rd IFIP International Conference on Theoretical Computer Science, TCS'04 ; Conference date: 22-08-2004 Through 27-08-2004",

}

TY - GEN

T1 - Prototyping Proof-Carrying Code

AU - Wildmoser, Martin

AU - Nipkow, Tobias

AU - Klein, Gerwin

AU - Nanz, Sebastian

PY - 2004

Y1 - 2004

M3 - Article in proceedings

BT - Proceedings of the 3rd IFIP International Conference on Theoretical Computer Science (TCS'04)

T2 - 3rd IFIP International Conference on Theoretical Computer Science

Y2 - 22 August 2004 through 27 August 2004

ER -