SecIVo: a quantitative security evaluation framework for internet voting schemes

Stephan Neumann, Melanie Volkamer, Jurlind Budurushi, Marco Prandini
Annals of Telecommunications, 337-352, Springer, 2016. https://doi.org/10.1007/s12243-016-0520-0