Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections.
Michelle L. BlomJurlind BudurushiRonald L. RivestPhilip B. StarkPeter J. StuckeyVanessa TeagueDamjan VukcevicPublished in: E-VOTE-ID (2021)