BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Dynamically Enforcing Knowledge-based Security Policies - Michael 
 Hicks\, University of Maryland
DTSTART:20121012T090000Z
DTEND:20121012T100000Z
UID:TALK40500@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:Knowledge-based security policies are those which specify a th
 reshold on an adversary's knowledge about secret data. The data owner init
 ially estimates what an adversary might know about his secret\, and with e
 ach interaction\, defined in terms of a query made by the adversary over h
 is secret data\, he updates his estimate. If a query response could lead t
 he adversary's knowledge to exceed a given threshold\, the query is denied
 .\n\nIn this talk I will discuss how we implement query analysis and belie
 f tracking via abstract interpretation using a novel probabilistic polyhed
 ral domain\, whose design permits trading off precision with performance w
 hile ensuring estimates of a querier's knowledge are sound.  I will presen
 t examples of our technique that might apply to personal data.  I will als
 o show how our technique can be generalized to reason about knowledge incr
 ease in secure multiparty computation (SMC)\, which is a protocol that all
 ows a set of mutually distrusting parties to compute a function f of their
  private inputs while revealing nothing about their inputs beyond what is 
 implied by the result. Our technique permits reasoning about what can be i
 nferred by each participant from the result. Finally\, I will sketch how w
 e are working to apply our technique to securing sensor data streams.\n\nT
 his is joint work with Piotr Mardziel (Maryland)\, Jonathan Katz (Maryland
 )\, Stephen Magill (formerly at Maryland)\, and Mudhakar Srivatsa (IBM).  
 For more details see our papers at CSF'11 and PLAS'12:\n\nhttp://www.cs.um
 d.edu/~mwh/papers/mardziel11belief.html\nhttp://www.cs.umd.edu/~mwh/papers
 /mardziel12smc.html\n
LOCATION:Small lecture theatre\, Microsoft Research Ltd\, 7 J J Thomson Av
 enue (Off Madingley Road)\, Cambridge
END:VEVENT
END:VCALENDAR