Advertisement

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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-030-00419-4
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-00418-7
  • Online ISBN 978-3-030-00419-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site