Biblio

Export 3 results:
Filters: Author is Greg Morrisett  [Clear All Filters]
2006
McCamant S, Morrisett G.  2006.  Evaluating SFI for a CISC Architecture. 15th USENIX Security Symposium (USENIX Security 06).
2005
Morrisett G.  2005.  Open Problems with Certifying Compilation. 14th USENIX Security Symposium (USENIX Security 05).
2002
Jim T, Morrisett G, Grossman D, Hicks M, Cheney J, Wang Y.  2002.  Cyclone: A Safe Dialect of C. 2002 USENIX Annual Technical Conference (USENIX ATC 02).