Prototyping Proof-Carrying Code

Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz

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 (TCS'04) - Duration: 1 Jan 2004 → …

Conference	3rd IFIP International Conference on Theoretical Computer Science (TCS'04)
Period	01/01/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: 01-01-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 (TCS'04)

Y2 - 1 January 2004

ER -