Automated Anonymity Verification of the ThreeBallot Voting System.

Murat Moran James Heather Steve A. Schneider

Published in: IFM (2013)

Keyphrases

semi automated
model checking
voting method
data driven
computer aided
electronic voting
face verification
fully automated
data sets
optimal solution
multi agent
face recognition
formal analysis
automated analysis
signature verification
learning algorithm
genetic algorithm