© 2018

Electronic Voting

Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings

  • Robert Krimmer
  • Melanie Volkamer
  • Véronique Cortier
  • Rajeev Goré
  • Manik Hapsara
  • Uwe Serdült
  • David Duenas-Cid
Conference proceedings E-Vote-ID 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11143)

Also part of the Security and Cryptology book sub series (LNSC, volume 11143)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Michelle Blom, Peter J. Stuckey, Vanessa J. Teague
    Pages 1-16
  3. Michelle Blom, Peter J. Stuckey, Vanessa J. Teague
    Pages 17-34
  4. Anthony Cardillo, Aleksander Essex
    Pages 35-50
  5. Milad K. Ghale, Rajeev Goré, Dirk Pattinson, Mukesh Tiwari
    Pages 51-66
  6. Nicole Goodman, Chelsea Gabel, Brian Budd
    Pages 67-83
  7. Rolf Haenni, Eric Dubuis, Reto E. Koenig, Philipp Locher
    Pages 84-99
  8. Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
    Pages 100-116
  9. Robert Krimmer, David Duenas-Cid, Iuliia Krivonosova, Priit Vinkel, Arne Koitmae
    Pages 117-131
  10. Kristjan Krips, Jan Willemson, Sebastian Värv
    Pages 132-145
  11. Leontine Loeber
    Pages 146-159
  12. Kellie Ottoboni, Philip B. Stark, Mark Lindeman, Neal McBurnett
    Pages 174-188
  13. Carsten Schürmann
    Pages 189-202
  14. Back Matter
    Pages 203-203

About these proceedings


This book constitutes the refereed proceedings of the Third International Joint Conference on Electronic Voting, E-Vote-ID 2018, held in Bregenz, Austria, in October 2018.
The 13 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers deal with topics connected with electronic voting including experiences and revisions of the real uses of E-voting systems and corresponding processes in elections.


electronic voting e-voting artificial intelligence BPR computer software maintenance data privacy data security intelligent agents model checking multi-agent Multi-Agent Systems (MAS) privacy reengineering software engineering software evaluation specifications verification verifiability risk audit security

Editors and affiliations

  1. 1.Tallinn University of TechnologyTallinnEstonia
  2. 2.Karlsruhe Institute of TechnologyKarlsruheGermany
  3. 3.LORIAVandoeuvre-lès-Nancy CedexFrance
  4. 4.Australian National UniversityCanberraAustralia
  5. 5.University of New South WalesCanberraAustralia
  6. 6.Ritsumeikan UniversityKusatsu, ShigaJapan
  7. 7.Tallinn University of TechnologyTallinnEstonia

Bibliographic information

Industry Sectors
IT & Software
Finance, Business & Banking