BEGIN:VCALENDAR
METHOD:PUBLISH
VERSION:2.0
PRODID:-//Cornell U. Department of Computer Science//Brown Bag Seminar//EN
BEGIN:VEVENT
SUMMARY:Brown bag: Michael Clarkson
DESCRIPTION:Title: Civitas: Coercion-Resistant Remote Voting\nSpeaker:
	 Michael Clarkson\nAbstract: Civitas is an electronic voting system that
	 enables voting from remote locations. Voters can be convinced that their
	 votes are tallied correctly\, while the secrecy of those votes is also
	 maintained---even when someone tries to buy votes or to physically
	 coerce voters. Civitas offers assurance through both cryptographic
	 security proofs and information-flow analysis.
LOCATION:Gates 122
UID:2014-11-04
STATUS:CONFIRMED
DTSTART:20141104T170000Z
DTEND:20141104T180000Z
ORGANIZER;CN=Jonathan Shi:http://www.cs.cornell.edu/~jshi/brownbag/
DTSTAMP:20260408T165600Z
END:VEVENT
END:VCALENDAR