Computing the Margin of Victory in Preferential Parliamentary elections.- Ballot-polling Risk Limiting Audits for IRV Elections.- The Threat of SSL/TLS Stripping in Online Voting.- Modular Formalisation and Verification of STV Algorithms.- Online Voting in Indigenous Nations: Lessons From Canada.- Process Models for Universally Verifiable Elections.- Model Checking the SELENE E-Voting Protocol in Multi-Agent Logics.- How much does an e-vote cost? Compared Costs per Vote in Multichannel Elections in Estonia.- Implementing an audio side channel for paper voting.- The E-voting Readiness Index and the Netherlands.- Winning the election, but losing the litigation: A prognosis of Nigerian judicial attitude to evidence produced from `e-voting machines'.- A New Method for Stratified Risk-Limiting Audits.- Rounding Considered Harmful.
