This book constitutes the thoroughly refereed conference proceedings of the 4th International
Conference on E-Voting and Identity VoteID 2013 held in Guildford UK during July 17-19
2013. The 12 revised full papers presented were carefully selected from 26 submissions. The
papers include a range of works on end-to-end verifiable election systems verifiably correct
complex tallying algorithms human perceptions of verifiability formal models of verifiability
and of course attacks on systems formerly advertised as verifiable.
