Privacy

Survey of Revoting in Evoting: A formal analysis perspective

In this survey presentation, we give an overview of digital voting systems and shed light on the revoting as a method for avoiding coercion. We outline some of the formal methods efforts in modeling systems that allow revoting.