@inproceedings {221369,
	author = {Stephen McCamant and Greg Morrisett},
	title = {Evaluating {SFI} for a {CISC} Architecture},
	booktitle = {15th USENIX Security Symposium (USENIX Security 06)},
	year = {2006},
	address = {Vancouver, B.C. Canada},
	url = {https://www.usenix.org/conference/15th-usenix-security-symposium/evaluating-sfi-cisc-architecture},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {269248,
	author = {Greg Morrisett},
	title = {Open Problems with Certifying Compilation},
	booktitle = {14th USENIX Security Symposium (USENIX Security 05)},
	year = {2005},
	address = {Baltimore, MD},
	url = {https://www.usenix.org/conference/14th-usenix-security-symposium/open-problems-certifying-compilation},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {270632,
	author = {Trevor Jim and Greg Morrisett and Dan Grossman and Michael Hicks and James Cheney and Yanling Wang},
	title = {Cyclone: A Safe Dialect of C},
	booktitle = {2002 USENIX Annual Technical Conference (USENIX ATC 02)},
	year = {2002},
	address = {Monterey, CA},
	url = {https://www.usenix.org/conference/2002-usenix-annual-technical-conference/cyclone-safe-dialect-c},
	publisher = {USENIX Association},
	month = jun
}
