.- Belenios with cast-as-intended: towards a usable interface. .- Threshold Receipt-Free Single-Pass eVoting. .- Improving the Computational Efficiency of Adaptive Audits of IRV Elections. .- A Framework for Voters’ Trust Repair in Internet Voting. .- Efficient Cleansing in Coercion-Resistant Voting. .- Absentee Online Voters in the Northwest Territories: Attitudes and Impacts on Participation. .- ZK-SNARKs for Ballot Validity: A Feasibility Study. .- Direct and Transparent Voter Verification with Everlasting Receipt-Freeness. .- Expanding the Toolbox: Coercion and Vote-Selling at Vote-Casting Revisited. .- Intelligo ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting.

This open access book  constitutes the proceedings of the 9th International Joint Conference on Electronic Voting, E-Vote-ID 2024, held in Tarragona, Spain, during October 2-4, 2024. The 10 full papers included in this book were carefully reviewed and selected from 36 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers cover a wide range of topics connected with electronic voting, including experiences and revisions of the actual uses of E-voting systems and corresponding processes in elections.

Open Access This book is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. The images or other third party material in this book are included in the book's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the book's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.