@inproceedings {261132,
	author = {Sean W. Smith and Vernon Austel},
	title = {Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors},
	booktitle = {3rd USENIX Workshop on Electronic Commerce (EC 98)},
	year = {1998},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/3rd-usenix-workshop-electronic-commerce/trusting-trusted-hardware-towards-formal-model},
	publisher = {USENIX Association},
	month = aug
}
