Mobile Implementation and Formal Verification of an e-Voting System.

Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli

Browse the full ICIW paper archive.