Mobile Implementation and Formal Verification of an e-Voting System | IEEE Conference Publication | IEEE Xplore