Computer Science Home Page
> Research Areas > Security and Cryptography > Reading Group

Computer Security and Cryptography Reading Group

View the proposed reading list (i.e. the reading we have not yet got to) on the following page.

Show abstracts & photos Hide abstracts & photos

Date & Location

Reading

Tuesday, Oct 3, 2006

2 PM - 3 PM

7331 CS

Ulfar Erlingsson, Martn Abadi, Michael Vrable, Mihai Budiu, George C. Necula

XFI: Software Guards for System Address Spaces

Download paper

XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodity systems. For this purpose, XFI combines static analysis with inline software guards and a two-stack execution model. We have implemented XFI forWindows on the x86 architecture using binary rewriting and a simple, stand-alone verifier; the implementations correctness depends on the verifier, but not on the rewriter. We have applied XFI to software such as device drivers and multimedia codecs. The resulting modules function safely within both kernel and user-mode address spaces, with only modest enforcement overheads.

Archives
   2002: Jan. Feb. Mar. Apr. May June July Aug. Sep. Oct. Nov. Dev.
   2003: Jan. Feb. Mar. Apr. May June July Aug. Sep. Oct. Nov. Dec.
   2004: Jan. Feb. Mar. Apr. May June July Aug. Sep. Oct. Nov. Dec.
   2005: Jan. Feb. Mar. Apr. May June July Aug. Sep. Oct. Nov. Dec.
   2006: Jan. Feb. Mar. Apr. May June July Aug. Sep.

< Back to the Sec & Crypto main page

Created by Mihai Christodorescu (http://www.cs.wisc.edu/~mihai)
Created: Wed Aug 13 10:30:10 CDT 2003
Last modified by Louis Kruger http://www.cs.wisc.edu/~lpkruger
Last modified: Tue Sep 19 11:24:53 CDT 2006

Computer Science | UW Home

Feedback or content questions: send email to "pubs" at the cs.wisc.edu server
Technical or accessibility issues: lab@cs.wisc.edu
Copyright © 2002, 2003, 2004, 2005, 2006, 2007 The Board of Regents of the University of Wisconsin System.