BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Non-Interactive Verifiable Computation - Bryan Parno\, Microsoft R
 esearch
DTSTART:20120328T130000Z
DTEND:20120328T140000Z
UID:TALK37110@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:The growth of ``cloud computing'' and the proliferation of mob
 ile devices contribute to a desire to outsource computing from a client de
 vice to an online service.  However\, in these applications\, how can the 
 client verify that the result returned is correct\, without redoing the co
 mputation herself?  We formalize this setting by introducing the notion of
  verifiable computation\, and we provide a protocol that achieves asymptot
 ically optimal performance (amortized over multiple inputs).  We then exte
 nd the definition of verifiable computation in two important directions: p
 ublic delegation and public verifiability\, which have important applicati
 ons in many practical delegation scenarios.  To achieve these new properti
 es\, we establish an important (and somewhat surprising) connection betwee
 n verifiable computation and attribute-based encryption.  Finally\, we int
 roduce a new characterization of NP that lends itself to very efficient cr
 yptographic applications\, including verifiable computation\, succinct non
 -interactive arguments\, and non-interactive zero knowledge proofs.\n\nBry
 an Parno is a researcher in the Security and Privacy Group within Microsof
 t Research\, Redmond.  His interests span a broad range of security topics
 \, including network and system security\, applied cryptography\, usable s
 ecurity\, and data privacy.  Currently\, he is investigating next-generati
 on application models\, privacy-preserving online services\, and cryptogra
 phic techniques for securely outsourcing computation.  He completed his Ph
 D at Carnegie Mellon University\, where he was advised by Adrian Perrig.  
 His dissertation received the 2010 ACM Doctoral Dissertation Award\, and h
 e recently co-authored the book “Bootstrapping Trust in Modern Computers
 ”.
LOCATION:Small lecture theatre\, Microsoft Research Ltd\, 7 J J Thomson Av
 enue (Off Madingley Road)\, Cambridge
END:VEVENT
END:VCALENDAR