← Analysis of an Electronic Voting System