Chapter 1 Computing the Margin of Victory in Preferential Parliamentary Elections

Chapter 2 Ballot-Polling Risk Limiting Audits for IRV Elections

Chapter 4 Modular Formalisation and Verification of STV Algorithms

Chapter 5 Online Voting in Indigenous Communities: Lessons from Canada

Chapter 6 Process Models for Universally Verifiable Elections

Chapter 7 Model Checking the SELENE E-Voting Protocol in Multi-agent Logics

Chapter 8 How Much Does an e-Vote Cost? Cost Comparison per Vote in Multichannel Elections in Estonia

Chapter 9 Implementing an Audio Side Channel for Paper Voting

Chapter 10 The E-voting Readiness Index and the Netherlands

Chapter 11 Winning the Election, but Losing the Litigation: A Prognosis of Nigerian Judicial Attitudes Toward Evidence Produced from ‘E-Accreditation Machines’

Chapter 12 Risk-Limiting Audits by Stratified Union-Intersection Tests of Elections (SUITE)

Chapter 13 Rounding Considered Harmful