BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Verificatum -- An efficient and provably secure mix-net - Wikstrm\
 , D (KTH - Royal Institute of Technology)
DTSTART:20120202T114500Z
DTEND:20120202T123000Z
UID:TALK36118@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:A common component in electronic election schemes is a so call
 ed 'mix-net'. This is a protocol executed by a group of servers that takes
  a list of ciphertexts and outputs the plaintexts in sorted order without 
 revealing anything about the correspondence between input ciphertexts and 
 output plaintexts. Thus\, a mix-net can securely perform the tabulation in
  an electronic election where voters submit encrypted votes.  Verificatum 
 is an open source implementation of an efficient and provably secure mix-n
 et (see http://www.verificatum.org). In its simplest form it is a Java app
 lication that is easy to install and use\, but it can also exploit optimiz
 ed C code\, it can be configured in many ways\, and it is a perfect platfo
 rm for implementing more advanced election schemes.  It has already been u
 sed successfully in the Wombat voting project. We will present Verificatum
  and describe the work we have done so far and what lies ahead.\n
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR