Search dblp for Publications

export results for "toc:db/conf/voteid/voteid2018.bht:"

 download as .bib file

@inproceedings{DBLP:conf/voteid/BlomST18,
  author       = {Michelle L. Blom and
                  Peter J. Stuckey and
                  Vanessa J. Teague},
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  V{\'{e}}ronique Cortier and
                  Rajeev Gor{\'{e}} and
                  Manik Hapsara and
                  Uwe Serd{\"{u}}lt and
                  David Duenas{-}Cid},
  title        = {Computing the Margin of Victory in Preferential Parliamentary Elections},
  booktitle    = {Electronic Voting - Third International Joint Conference, E-Vote-ID
                  2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11143},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00419-4\_1},
  doi          = {10.1007/978-3-030-00419-4\_1},
  timestamp    = {Sun, 02 Oct 2022 16:16:57 +0200},
  biburl       = {https://dblp.org/rec/conf/voteid/BlomST18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/BlomST18a,
  author       = {Michelle L. Blom and
                  Peter J. Stuckey and
                  Vanessa J. Teague},
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  V{\'{e}}ronique Cortier and
                  Rajeev Gor{\'{e}} and
                  Manik Hapsara and
                  Uwe Serd{\"{u}}lt and
                  David Duenas{-}Cid},
  title        = {Ballot-Polling Risk Limiting Audits for {IRV} Elections},
  booktitle    = {Electronic Voting - Third International Joint Conference, E-Vote-ID
                  2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11143},
  pages        = {17--34},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00419-4\_2},
  doi          = {10.1007/978-3-030-00419-4\_2},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/voteid/BlomST18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/CardilloE18,
  author       = {Anthony Cardillo and
                  Aleksander Essex},
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  V{\'{e}}ronique Cortier and
                  Rajeev Gor{\'{e}} and
                  Manik Hapsara and
                  Uwe Serd{\"{u}}lt and
                  David Duenas{-}Cid},
  title        = {The Threat of {SSL/TLS} Stripping to Online Voting},
  booktitle    = {Electronic Voting - Third International Joint Conference, E-Vote-ID
                  2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11143},
  pages        = {35--50},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00419-4\_3},
  doi          = {10.1007/978-3-030-00419-4\_3},
  timestamp    = {Tue, 25 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/voteid/CardilloE18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/GhaleGPT18,
  author       = {Milad K. Ghale and
                  Rajeev Gor{\'{e}} and
                  Dirk Pattinson and
                  Mukesh Tiwari},
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  V{\'{e}}ronique Cortier and
                  Rajeev Gor{\'{e}} and
                  Manik Hapsara and
                  Uwe Serd{\"{u}}lt and
                  David Duenas{-}Cid},
  title        = {Modular Formalisation and Verification of {STV} Algorithms},
  booktitle    = {Electronic Voting - Third International Joint Conference, E-Vote-ID
                  2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11143},
  pages        = {51--66},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00419-4\_4},
  doi          = {10.1007/978-3-030-00419-4\_4},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/voteid/GhaleGPT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/GoodmanGB18,
  author       = {Nicole Goodman and
                  Chelsea Gabel and
                  Brian Budd},
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  V{\'{e}}ronique Cortier and
                  Rajeev Gor{\'{e}} and
                  Manik Hapsara and
                  Uwe Serd{\"{u}}lt and
                  David Duenas{-}Cid},
  title        = {Online Voting in Indigenous Communities: Lessons from Canada},
  booktitle    = {Electronic Voting - Third International Joint Conference, E-Vote-ID
                  2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11143},
  pages        = {67--83},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00419-4\_5},
  doi          = {10.1007/978-3-030-00419-4\_5},
  timestamp    = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/voteid/GoodmanGB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/HaenniDKL18,
  author       = {Rolf Haenni and
                  Eric Dubuis and
                  Reto E. Koenig and
                  Philipp Locher},
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  V{\'{e}}ronique Cortier and
                  Rajeev Gor{\'{e}} and
                  Manik Hapsara and
                  Uwe Serd{\"{u}}lt and
                  David Duenas{-}Cid},
  title        = {Process Models for Universally Verifiable Elections},
  booktitle    = {Electronic Voting - Third International Joint Conference, E-Vote-ID
                  2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11143},
  pages        = {84--99},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00419-4\_6},
  doi          = {10.1007/978-3-030-00419-4\_6},
  timestamp    = {Tue, 25 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/voteid/HaenniDKL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/JamrogaKK18,
  author       = {Wojciech Jamroga and
                  Michal Knapik and
                  Damian Kurpiewski},
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  V{\'{e}}ronique Cortier and
                  Rajeev Gor{\'{e}} and
                  Manik Hapsara and
                  Uwe Serd{\"{u}}lt and
                  David Duenas{-}Cid},
  title        = {Model Checking the {SELENE} E-Voting Protocol in Multi-agent Logics},
  booktitle    = {Electronic Voting - Third International Joint Conference, E-Vote-ID
                  2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11143},
  pages        = {100--116},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00419-4\_7},
  doi          = {10.1007/978-3-030-00419-4\_7},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/voteid/JamrogaKK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/KrimmerDKVK18,
  author       = {Robert Krimmer and
                  David Duenas{-}Cid and
                  Iuliia Krivonosova and
                  Priit Vinkel and
                  Arne Koitmae},
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  V{\'{e}}ronique Cortier and
                  Rajeev Gor{\'{e}} and
                  Manik Hapsara and
                  Uwe Serd{\"{u}}lt and
                  David Duenas{-}Cid},
  title        = {How Much Does an e-Vote Cost? Cost Comparison per Vote in Multichannel
                  Elections in Estonia},
  booktitle    = {Electronic Voting - Third International Joint Conference, E-Vote-ID
                  2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11143},
  pages        = {117--131},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00419-4\_8},
  doi          = {10.1007/978-3-030-00419-4\_8},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/voteid/KrimmerDKVK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/KripsWV18,
  author       = {Kristjan Krips and
                  Jan Willemson and
                  Sebastian V{\"{a}}rv},
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  V{\'{e}}ronique Cortier and
                  Rajeev Gor{\'{e}} and
                  Manik Hapsara and
                  Uwe Serd{\"{u}}lt and
                  David Duenas{-}Cid},
  title        = {Implementing an Audio Side Channel for Paper Voting},
  booktitle    = {Electronic Voting - Third International Joint Conference, E-Vote-ID
                  2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11143},
  pages        = {132--145},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00419-4\_9},
  doi          = {10.1007/978-3-030-00419-4\_9},
  timestamp    = {Tue, 25 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/voteid/KripsWV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/Loeber18,
  author       = {Leontine Loeber},
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  V{\'{e}}ronique Cortier and
                  Rajeev Gor{\'{e}} and
                  Manik Hapsara and
                  Uwe Serd{\"{u}}lt and
                  David Duenas{-}Cid},
  title        = {The E-voting Readiness Index and the Netherlands},
  booktitle    = {Electronic Voting - Third International Joint Conference, E-Vote-ID
                  2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11143},
  pages        = {146--159},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00419-4\_10},
  doi          = {10.1007/978-3-030-00419-4\_10},
  timestamp    = {Tue, 25 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/voteid/Loeber18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/Omosele18,
  author       = {Felix Oludare Omosele},
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  V{\'{e}}ronique Cortier and
                  Rajeev Gor{\'{e}} and
                  Manik Hapsara and
                  Uwe Serd{\"{u}}lt and
                  David Duenas{-}Cid},
  title        = {Winning the Election, but Losing the Litigation: {A} Prognosis of
                  Nigerian Judicial Attitudes Toward Evidence Produced from 'E-Accreditation
                  Machines'},
  booktitle    = {Electronic Voting - Third International Joint Conference, E-Vote-ID
                  2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11143},
  pages        = {160--173},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00419-4\_11},
  doi          = {10.1007/978-3-030-00419-4\_11},
  timestamp    = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/voteid/Omosele18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/OttoboniSLM18,
  author       = {Kellie Ottoboni and
                  Philip B. Stark and
                  Mark Lindeman and
                  Neal McBurnett},
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  V{\'{e}}ronique Cortier and
                  Rajeev Gor{\'{e}} and
                  Manik Hapsara and
                  Uwe Serd{\"{u}}lt and
                  David Duenas{-}Cid},
  title        = {Risk-Limiting Audits by Stratified Union-Intersection Tests of Elections
                  {(SUITE)}},
  booktitle    = {Electronic Voting - Third International Joint Conference, E-Vote-ID
                  2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11143},
  pages        = {174--188},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00419-4\_12},
  doi          = {10.1007/978-3-030-00419-4\_12},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/voteid/OttoboniSLM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/Schurmann18,
  author       = {Carsten Sch{\"{u}}rmann},
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  V{\'{e}}ronique Cortier and
                  Rajeev Gor{\'{e}} and
                  Manik Hapsara and
                  Uwe Serd{\"{u}}lt and
                  David Duenas{-}Cid},
  title        = {Rounding Considered Harmful},
  booktitle    = {Electronic Voting - Third International Joint Conference, E-Vote-ID
                  2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11143},
  pages        = {189--202},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00419-4\_13},
  doi          = {10.1007/978-3-030-00419-4\_13},
  timestamp    = {Tue, 30 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/voteid/Schurmann18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/voteid/2018,
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  V{\'{e}}ronique Cortier and
                  Rajeev Gor{\'{e}} and
                  Manik Hapsara and
                  Uwe Serd{\"{u}}lt and
                  David Duenas{-}Cid},
  title        = {Electronic Voting - Third International Joint Conference, E-Vote-ID
                  2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11143},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00419-4},
  doi          = {10.1007/978-3-030-00419-4},
  isbn         = {978-3-030-00418-7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/voteid/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics