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

Bibliographic Details
Main Authors: Blom, Michelle (Author), Budurushi, Jurlind (Author), Rivest, Ronald L (Author), Stark, Philip B (Author), Stuckey, Peter J (Author), Teague, Vanessa (Author), Vukcevic, Damjan (Author)
Format: Article
Language:English
Published: Springer International Publishing, 2022-07-19T14:56:45Z.
Subjects:
Online Access:Get fulltext
LEADER 00741 am a22002173u 4500
001 143857
042 |a dc 
100 1 0 |a Blom, Michelle  |e author 
700 1 0 |a Budurushi, Jurlind  |e author 
700 1 0 |a Rivest, Ronald L  |e author 
700 1 0 |a Stark, Philip B  |e author 
700 1 0 |a Stuckey, Peter J  |e author 
700 1 0 |a Teague, Vanessa  |e author 
700 1 0 |a Vukcevic, Damjan  |e author 
245 0 0 |a Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections 
260 |b Springer International Publishing,   |c 2022-07-19T14:56:45Z. 
856 |z Get fulltext  |u https://hdl.handle.net/1721.1/143857 
546 |a en 
655 7 |a Article 
773 |t 10.1007/978-3-030-86942-7_4 
773 |t ELECTRONIC VOTING