Formal Privacy Analysis of an Electronic Voting Scheme | IEEE Conference Publication | IEEE Xplore