A Model for Systematic Analysis of Voting Systems

There has recently been keen interest in the threat analysis of voting systems. While it is important to verify the system itself, it has been found that certain vulnerabilities only become apparent when taking a “systems-based” view, i.e. considering interactions between the various components of a scheme [13, 24]. Threat analysis has so far been of three… (More)