Automated anonymity verification of the ThreeBallot and VAV voting systems.

Murat Moran James Heather Steve A. Schneider

Published in: Softw. Syst. Model. (2016)

Keyphrases

management system
computer aided
expert systems
computer systems
fully automated
real time
learning algorithm
distributed systems
learning systems
hough transform
face verification
formal methods
formal verification