Vanessa Teague Department of Computer Science and Software Engineering University of Melbourne Australia

Key questions/issues (for me) To find electronic voting solutions that are appropriate for Australian elections, which means Single transferable vote (STV) (a.k.a. preferential voting or instant-runoff voting) Voters list all candidates in order of preference Many e-voting schemes don’t work for STV Receipt freeness is harder for STV Compulsory voting Makes for different tradeoffs

My work: Coercion resistance Addressing the “Italian attack” for STV The coercer orders a voter to select a particular permutation During tallying (or after the election), the coercer looks for that vote

Key results A definition of coercion-resistance that includes STV A scheme for proving correct STV tallying without allowing coercion Based on (honest-verifier) Zero knowledge proofs