Sean W. Smith, Vernon Austel. Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors. In Bennet S. Yee, editor, Proceedings of the 3rd USENIX Workshop on Electronic Commerce, Boston, Massachusetts, USA, August 31 - September 3, 1998. USENIX Association, 1998. [doi]
@inproceedings{SmithA98,
title = {Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors},
author = {Sean W. Smith and Vernon Austel},
year = {1998},
url = {https://www.usenix.org/conference/3rd-usenix-workshop-electronic-commerce/trusting-trusted-hardware-towards-formal-model},
researchr = {https://researchr.org/publication/SmithA98},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 3rd USENIX Workshop on Electronic Commerce, Boston, Massachusetts, USA, August 31 - September 3, 1998},
editor = {Bennet S. Yee},
publisher = {USENIX Association},
}