BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Building Trusted Systems with Protected Modules - Bryan Parno (Mic
 rosoft Research)
DTSTART:20111006T131500Z
DTEND:20111006T141500Z
UID:TALK33365@talks.cam.ac.uk
CONTACT:Wei Ming Khoo
DESCRIPTION:As businesses and individuals entrust more and more sensitive 
 tasks (e.g.\, paying bills\, shopping online\, or accessing medical record
 s) to computers\, it becomes increasingly important to ensure this trust i
 s warranted.  However\, users are understandably reluctant to abandon the 
 low cost\, high performance\, and flexibility of today's general-purpose c
 omputers.  In this talk\, I will describe Flicker\, an architecture for co
 nstructing protected modules.  Flicker demonstrates that we can satisfy th
 e need for features and security by constructing an on-demand secure execu
 tion environment\, using a combination of software techniques and recent c
 ommodity CPU enhancements.  This provides a solid foundation for construct
 ing secure systems that must coexist with standard software\; the develope
 r of a security-sensitive code module need only trust her own code\, plus 
 as few as 250 lines of Flicker code\, for the secrecy and integrity of her
  code's execution.  However\, for many applications\, secrecy and integrit
 y are insufficient\; thus\, I'll discuss techniques for providing practica
 l state continuity for protected modules.  To ensure the correctness of ou
 r design\, we develop  formal\, machine-verified proofs of safety.  To dem
 onstrate practicality\, we have implemented our architectures on Linux and
  Windows running on AMD and Intel.\n\nBio\n\nDr Bryan Parno\, Microsoft Re
 search Redmond\, received the 2010 Doctoral Dissertation Award from ACM fo
 r "resolving the tension between adequate security protections and the fea
 tures and performance that users expect in a digitized world" and has rece
 ntly co-authored the book "Bootstrapping Trust in Modern Computers" with J
 on McCune and Adrian Perrig.\n\n2010 ACM doctoral dissertation award:\n\nh
 ttp://www.acm.org/press-room/news-releases/2011/dd-award-2010\n\nBootstrap
 ping Trust in Modern Computers:\n\nhttp://www.springerlink.com/content/k16
 537/ 
LOCATION:Lecture Theatre 2\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR