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.