BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:When While is a Security Risk - Pasquale Malacaria\, Queen Mary\, 
 University of London
DTSTART:20070323T140000Z
DTEND:20070323T150000Z
UID:TALK6618@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:There is a clear intuitive connection between the notion of le
 akage of information in\na program and concepts from information theory. T
 his intuition has not been\nsatisfactorily pinned down\, until now.\nIn pa
 rticular\, previous information-theoretic models of programs are imprecise
 \, due\nto their overly conservative treatment of looping constructs. We p
 resent the first\nprecise information-theoretic semantics of programs with
  looping constructs. Our\nsemantics describes both the amount and rate of 
 leakage\; if either is small enough\,\nthen a program might be deemed "sec
 ure".\nThe talk will not assume particular prerequisites as it will concen
 trate in exposing\nthe ideas and how these ideas apply on case studies. De
 tails are available in\nproceedings POPL 2007 (see "here":http://www.dcs.q
 mul.ac.uk/~pm/Papers/boundsWhile.pdf).\n
LOCATION:FW11
END:VEVENT
END:VCALENDAR