eVoting

The focus of our activity in electronic Voting is on secure and trustworthy electronic voting systems. The group contributed to the design, and developed the first implementation, of the Prêt à Voter secure e-voting system, which won `best system design' at VoComp 2007. The group is working on further security mechanisms for adaptations of Prêt à Voter and related systems, and on approaches to security analysis for electronic voting systems.  The challenge is to design, develop and verify a secure voting system that is strong enough and usable enough for real-world elections, and meets legislative requirements.