BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Towards interactive belief\, knowledge\, and provability: possible
  application to zero-knowledge proofs - Simon Kramer\, École Polytechniqu
 e Paris
DTSTART:20071218T161500Z
DTEND:20071218T171500Z
UID:TALK9312@talks.cam.ac.uk
CONTACT:Andrew Lewis
DESCRIPTION:We argue that modal operators of interactive belief\, knowledg
 e\, and provability are definable as natural generalisations of their non-
 interactive counterparts\, and that zero-knowledge proofs (from cryptograp
 hy) have a natural (modal) formulation in terms of interactive individual 
 knowledge\, non-interactive propositional knowledge and interactive provab
 ility. Our work is motivated by van Benthem's investigation into rational 
 agency and dialogue and our attempt to redefine modern cryptography in ter
 ms of modal logic.\n\nThis ongoing work builds on Chapter 5 of my thesis L
 ogical Concepts in Cryptography http://library.epfl.ch/en/theses/?nr=3845
LOCATION:Lecture Theatre 2\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR