Mobile Implementation and Formal Verification of an e-Voting System

Authors:
Stefano Campanelli;Alessandro Falleni;Fabio Martinelli;Marinella Petrocchi;Anna Vaccarelli
Affiliations:
-;-;-;-;-
Venue:
ICIW '08 Proceedings of the 2008 Third International Conference on Internet and Web Applications and Services
Year:
2008

Development, formal verification, and evaluation of an E-voting system with VVPAT

IEEE Transactions on Information Forensics and Security - Special issue on electronic voting
Managing Requirements for E-Voting Systems: Issues and Approaches

RE-VOTE '09 Proceedings of the 2009 First International Workshop on Requirements Engineering for e-Voting Systems
Formal analysis of an electronic voting system: An experience report

Journal of Systems and Software

Hi-index	0.00

We propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system.