@inproceedings {270277,
	author = {Benjie Chen and Robert Morris},
	title = {Certifying Program Execution with Secure Processors},
	booktitle = {9th Workshop on Hot Topics in Operating Systems (HotOS IX)},
	year = {2003},
	address = {Lihue, HI},
	url = {https://www.usenix.org/conference/hotos-ix/certifying-program-execution-secure-processors},
	publisher = {USENIX Association},
	month = may
}
