Jurlind Budurushi

Jurlind Budurushi

Professor of Computer Science at DHBW Karlsruhe | Cyber Security | Cloud Security | Usable Security | E-Voting

Assertion-Based Approaches to Auditing Complex Elections, with Application to~Party-List Proportional Elections

Michelle Blom, Jurlind Budurushi, Ronald Rivest, Philip Stark, Peter Stuckey, Vanessa Teague, Damjan Vukcevic
Assertion-Based Approaches to Auditing Complex Elections, with Application to~Party-List Proportional Elections, 1-16, arXiv, 2021. https://doi.org/10.48550/arXiv.2107.11903