BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Information\, Anonymity\, and Proof - Aaron Coble (University of C
 ambridge)
DTSTART:20080506T120000Z
DTEND:20080506T130000Z
UID:TALK11656@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:This presentation will demonstrate how Shannon's Information T
 heory can be used to prove anonymity properties in the HOL4 theorem-prover
 . The talk will begin by outlining a formalization of Information Theory i
 n HOL4. Building on this formalization\, a method for information-leakage 
 analysis in HOL4 will be presented. As a case study\, this method will be 
 used to prove the anonymity of the dining cryptographers protocol.\n\nThis
  presentation will firstly a formalization of Shannon's Information Theory
  in HOL4.
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR