We describe a way to deploy a secured ballot return for overseas, vision, or dexterity-
impaired voters. SAVVI is a secure, accessible, virtual voting infrastructure. It uses multiple …

In the developing world, secure and privacy-preserving voter authentication remains one of
the main challenges of poll-site election administration. Aside the unavailability of a robust …

This paper presents a novel intruder model for automated reasoning about anonymity
properties of voting systems. We adapt the lazy spy for this purpose, as it avoids the …

In this paper we present a fully symbolic TCTL model checking algorithm for incomplete
timed systems. Our algorithm is able to prove that a TCTL property is violated or satisfied …

Voting systems aim to provide trustworthiness in elections; however, they have always been
a target of malicious behaviours due to difficulties in designing such complex systems and …