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.