BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Using information flow control to manage privacy - David Evans (Un
 iversity of Cambridge)
DTSTART:20101102T130000Z
DTEND:20101102T140000Z
UID:TALK27833@talks.cam.ac.uk
CONTACT:Derek Gordon Murray
DESCRIPTION:Many systems have privacy impacts because they sense potential
 ly private things about the world. Because of this mildly obvious conclusi
 on\, physical phenomena can taint software components in the information f
 low sense\, forever altering their degree of trustworthiness\, safety\, or
  compliance in terms of organisations' data flow policies. This sort of ta
 inting is exactly what information flow control (IFC) is designed to handl
 e. Can we use IFC apparatus to reason about the privacy properties of vari
 ous parts of a distributed system? Can we encode aspects of privacy that a
 re defensible in the concrete within an IFC framework? Can IFC help privac
 y audit?\n\nThis is a talklette in the classic sense: the ideas that I sha
 ll describe are at best half-baked. But I think that they are promising\, 
 so you should come to hear about them and talk about useful stuff yourself
 .\n
LOCATION:Computer Laboratory\, William Gates Building\, Room FW11
END:VEVENT
END:VCALENDAR