Hans-Wolfgang Loidl, Kenneth Mackenzie, Steffen Jost, Lennart Beringer. A Proof-Carrying-Code Infrastructure for Resources. In Fourth Latin-American Symposium on Dependable Computing, LADC 2009, João Pessoa, Brazil, 1-4 September 2009. pages 127-134, IEEE Computer Society, 2009. [doi]
@inproceedings{LoidlMJB09,
title = {A Proof-Carrying-Code Infrastructure for Resources},
author = {Hans-Wolfgang Loidl and Kenneth Mackenzie and Steffen Jost and Lennart Beringer},
year = {2009},
doi = {10.1109/LADC.2009.13},
url = {http://dx.doi.org/10.1109/LADC.2009.13},
researchr = {https://researchr.org/publication/LoidlMJB09},
cites = {0},
citedby = {0},
pages = {127-134},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, LADC 2009, João Pessoa, Brazil, 1-4 September 2009},
publisher = {IEEE Computer Society},
}