@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
}
