BibTeX records: Johannes Müller 0001

download as .bib file

@article{DBLP:journals/popets/MullerPP24,
  author       = {Johannes M{\"{u}}ller and
                  Bal{\'{a}}zs Pej{\'{o}} and
                  Ivan Pryvalov},
  title        = {DeVoS: Deniable Yet Verifiable Vote Updating},
  journal      = {Proc. Priv. Enhancing Technol.},
  volume       = {2024},
  number       = {1},
  pages        = {357--378},
  year         = {2024},
  url          = {https://doi.org/10.56553/popets-2024-0021},
  doi          = {10.56553/POPETS-2024-0021},
  timestamp    = {Wed, 29 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/popets/MullerPP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/MestelMR23,
  author       = {David Mestel and
                  Johannes M{\"{u}}ller and
                  Pascal Reisert},
  title        = {How efficient are replay attacks against vote privacy? {A} formal
                  quantitative analysis},
  journal      = {J. Comput. Secur.},
  volume       = {31},
  number       = {5},
  pages        = {421--467},
  year         = {2023},
  url          = {https://doi.org/10.3233/JCS-230047},
  doi          = {10.3233/JCS-230047},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcs/MestelMR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/HainesMMP23,
  author       = {Thomas Haines and
                  Rafieh Mosaheb and
                  Johannes M{\"{u}}ller and
                  Ivan Pryvalov},
  title        = {SoK: Secure E-Voting with Everlasting Privacy},
  journal      = {Proc. Priv. Enhancing Technol.},
  volume       = {2023},
  number       = {1},
  pages        = {279--293},
  year         = {2023},
  url          = {https://doi.org/10.56553/popets-2023-0017},
  doi          = {10.56553/POPETS-2023-0017},
  timestamp    = {Mon, 06 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/popets/HainesMMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Haines0Q23,
  author       = {Thomas Haines and
                  Johannes M{\"{u}}ller and
                  I{\~{n}}igo Querejeta{-}Azurmendi},
  editor       = {Jiman Hong and
                  Maart Lanperne and
                  Juw Won Park and
                  Tom{\'{a}}s Cern{\'{y}} and
                  Hossain Shahriar},
  title        = {Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions},
  booktitle    = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing,
                  {SAC} 2023, Tallinn, Estonia, March 27-31, 2023},
  pages        = {1576--1584},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3555776.3578730},
  doi          = {10.1145/3555776.3578730},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/Haines0Q23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-09456,
  author       = {Johannes M{\"{u}}ller and
                  Tomasz Truderung},
  title        = {A Protocol for Cast-as-Intended Verifiability with a Second Device},
  journal      = {CoRR},
  volume       = {abs/2304.09456},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2304.09456},
  doi          = {10.48550/ARXIV.2304.09456},
  eprinttype    = {arXiv},
  eprint       = {2304.09456},
  timestamp    = {Mon, 24 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-09456.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/MuellerPP23,
  author       = {Johannes Mueller and
                  Balazs Pejo and
                  Ivan Pryvalov},
  title        = {DeVoS: Deniable Yet Verifiable Vote Updating},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1616},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1616},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/MuellerPP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acisp/GjosteenHMRS22,
  author       = {Kristian Gj{\o}steen and
                  Thomas Haines and
                  Johannes M{\"{u}}ller and
                  Peter B. R{\o}nne and
                  Tjerand Silde},
  editor       = {Khoa Nguyen and
                  Guomin Yang and
                  Fuchun Guo and
                  Willy Susilo},
  title        = {Verifiable Decryption in the Head},
  booktitle    = {Information Security and Privacy - 27th Australasian Conference, {ACISP}
                  2022, Wollongong, NSW, Australia, November 28-30, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13494},
  pages        = {355--374},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-22301-3\_18},
  doi          = {10.1007/978-3-031-22301-3\_18},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acisp/GjosteenHMRS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HuberKKL00R022,
  author       = {Nicolas Huber and
                  Ralf K{\"{u}}sters and
                  Toomas Krips and
                  Julian Liedtke and
                  Johannes M{\"{u}}ller and
                  Daniel Rausch and
                  Pascal Reisert and
                  Andreas Vogt},
  editor       = {Heng Yin and
                  Angelos Stavrou and
                  Cas Cremers and
                  Elaine Shi},
  title        = {Kryvos: Publicly Tally-Hiding Verifiable E-Voting},
  booktitle    = {Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, {CCS} 2022, Los Angeles, CA, USA, November
                  7-11, 2022},
  pages        = {1443--1457},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548606.3560701},
  doi          = {10.1145/3548606.3560701},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/HuberKKL00R022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/MestelMR22,
  author       = {David Mestel and
                  Johannes M{\"{u}}ller and
                  Pascal Reisert},
  title        = {How Efficient are Replay Attacks against Vote Privacy? {A} Formal
                  Quantitative Analysis},
  booktitle    = {35th {IEEE} Computer Security Foundations Symposium, {CSF} 2022, Haifa,
                  Israel, August 7-10, 2022},
  pages        = {179--194},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/CSF54842.2022.9979167},
  doi          = {10.1109/CSF54842.2022.9979167},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/MestelMR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/Muller22,
  author       = {Johannes M{\"{u}}ller},
  editor       = {Shin'ichiro Matsuo and
                  Lewis Gudgeon and
                  Ariah Klages{-}Mundt and
                  Daniel Perez Hernandez and
                  Sam Werner and
                  Thomas Haines and
                  Aleksander Essex and
                  Andrea Bracciali and
                  Massimiliano Sala},
  title        = {Breaking and Fixing Vote Privacy of the Estonian E-Voting Protocol
                  {IVXV}},
  booktitle    = {Financial Cryptography and Data Security. {FC} 2022 International
                  Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13412},
  pages        = {325--334},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-32415-4\_22},
  doi          = {10.1007/978-3-031-32415-4\_22},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fc/Muller22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Mestel0R22,
  author       = {David Mestel and
                  Johannes M{\"{u}}ller and
                  Pascal Reisert},
  title        = {How Efficient are Replay Attacks against Vote Privacy? {A} Formal
                  Quantitative Analysis},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {743},
  year         = {2022},
  url          = {https://eprint.iacr.org/2022/743},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/Mestel0R22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/HuberKKL00R022,
  author       = {Nicolas Huber and
                  Ralf K{\"{u}}sters and
                  Toomas Krips and
                  Julian Liedtke and
                  Johannes M{\"{u}}ller and
                  Daniel Rausch and
                  Pascal Reisert and
                  Andreas Vogt},
  title        = {Kryvos: Publicly Tally-Hiding Verifiable E-Voting},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1132},
  year         = {2022},
  url          = {https://eprint.iacr.org/2022/1132},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/HuberKKL00R022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acisp/HainesM21,
  author       = {Thomas Haines and
                  Johannes M{\"{u}}ller},
  editor       = {Joonsang Baek and
                  Sushmita Ruj},
  title        = {Optimal Randomized Partial Checking for Decryption Mix Nets},
  booktitle    = {Information Security and Privacy - 26th Australasian Conference, {ACISP}
                  2021, Virtual Event, December 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13083},
  pages        = {277--292},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-90567-5\_14},
  doi          = {10.1007/978-3-030-90567-5\_14},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acisp/HainesM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acisp/HainesM21a,
  author       = {Thomas Haines and
                  Johannes M{\"{u}}ller},
  editor       = {Joonsang Baek and
                  Sushmita Ruj},
  title        = {A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose},
  booktitle    = {Information Security and Privacy - 26th Australasian Conference, {ACISP}
                  2021, Virtual Event, December 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13083},
  pages        = {293--308},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-90567-5\_15},
  doi          = {10.1007/978-3-030-90567-5\_15},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acisp/HainesM21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/BoyenHM21,
  author       = {Xavier Boyen and
                  Thomas Haines and
                  Johannes M{\"{u}}ller},
  title        = {Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting},
  booktitle    = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
                  2021, Vienna, Austria, September 6-10, 2021},
  pages        = {272--291},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/EuroSP51992.2021.00027},
  doi          = {10.1109/EUROSP51992.2021.00027},
  timestamp    = {Thu, 11 Nov 2021 09:11:58 +0100},
  biburl       = {https://dblp.org/rec/conf/eurosp/BoyenHM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BoyenH021,
  author       = {Xavier Boyen and
                  Thomas Haines and
                  Johannes M{\"{u}}ller},
  title        = {Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {304},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/304},
  timestamp    = {Wed, 07 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/BoyenH021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/HainesM21,
  author       = {Thomas Haines and
                  Johannes M{\"{u}}ller},
  title        = {Optimal Randomized Partial Checking for Decryption Mix Nets},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {520},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/520},
  timestamp    = {Tue, 04 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/HainesM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GjosteenHMRS21,
  author       = {Kristian Gj{\o}steen and
                  Thomas Haines and
                  Johannes M{\"{u}}ller and
                  Peter B. R{\o}nne and
                  Tjerand Silde},
  title        = {Verifiable Decryption in the Head},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {558},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/558},
  timestamp    = {Mon, 20 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/GjosteenHMRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/HainesM21a,
  author       = {Thomas Haines and
                  Johannes M{\"{u}}ller},
  title        = {A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {588},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/588},
  timestamp    = {Mon, 07 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/HainesM21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/Haines020,
  author       = {Thomas Haines and
                  Johannes M{\"{u}}ller},
  title        = {SoK: Techniques for Verifiable Mix Nets},
  booktitle    = {33rd {IEEE} Computer Security Foundations Symposium, {CSF} 2020, Boston,
                  MA, USA, June 22-26, 2020},
  pages        = {49--64},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/CSF49147.2020.00012},
  doi          = {10.1109/CSF49147.2020.00012},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csfw/Haines020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BoyenHM20,
  author       = {Xavier Boyen and
                  Thomas Haines and
                  Johannes M{\"{u}}ller},
  editor       = {Liqun Chen and
                  Ninghui Li and
                  Kaitai Liang and
                  Steve A. Schneider},
  title        = {A Verifiable and Practical Lattice-Based Decryption Mix Net with External
                  Auditing},
  booktitle    = {Computer Security - {ESORICS} 2020 - 25th European Symposium on Research
                  in Computer Security, {ESORICS} 2020, Guildford, UK, September 14-18,
                  2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12309},
  pages        = {336--356},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59013-0\_17},
  doi          = {10.1007/978-3-030-59013-0\_17},
  timestamp    = {Fri, 02 Jul 2021 20:12:27 +0200},
  biburl       = {https://dblp.org/rec/conf/esorics/BoyenHM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/KustersL00020,
  author       = {Ralf K{\"{u}}sters and
                  Julian Liedtke and
                  Johannes M{\"{u}}ller and
                  Daniel Rausch and
                  Andreas Vogt},
  title        = {Ordinos: {A} Verifiable Tally-Hiding E-Voting System},
  booktitle    = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
                  2020, Genoa, Italy, September 7-11, 2020},
  pages        = {216--235},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/EuroSP48549.2020.00022},
  doi          = {10.1109/EUROSP48549.2020.00022},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurosp/KustersL00020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BoyenHM20,
  author       = {Xavier Boyen and
                  Thomas Haines and
                  Johannes M{\"{u}}ller},
  title        = {A Verifiable and Practical Lattice-Based Decryption Mix Net with External
                  Auditing},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {115},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/115},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/BoyenHM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/KustersLMRV20,
  author       = {Ralf K{\"{u}}sters and
                  Julian Liedtke and
                  Johannes M{\"{u}}ller and
                  Daniel Rausch and
                  Andreas Vogt},
  title        = {Ordinos: {A} Verifiable Tally-Hiding E-Voting System},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {405},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/405},
  timestamp    = {Thu, 01 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/KustersLMRV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/HainesM20,
  author       = {Thomas Haines and
                  Johannes M{\"{u}}ller},
  title        = {SoK: Techniques for Verifiable Mix Nets},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {490},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/490},
  timestamp    = {Mon, 10 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/HainesM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/DingEMRW20,
  author       = {Jintai Ding and
                  Doug Emery and
                  Johannes M{\"{u}}ller and
                  Peter Y. A. Ryan and
                  Vonn Kee Wong},
  title        = {Post-Quantum Anonymous Veto Networks},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1023},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/1023},
  timestamp    = {Thu, 01 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/DingEMRW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Mueller20,
  author       = {Johannes M{\"{u}}ller},
  title        = {How not to VoteAgain: Pitfalls of Scalable Coercion-Resistant E-Voting},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1406},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/1406},
  timestamp    = {Wed, 22 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/Mueller20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/Kusters017,
  author       = {Ralf K{\"{u}}sters and
                  Johannes M{\"{u}}ller},
  editor       = {Robert Krimmer and
                  Melanie Volkamer and
                  Nadja Braun Binder and
                  Norbert Kersting and
                  Olivier Pereira and
                  Carsten Sch{\"{u}}rmann},
  title        = {Cryptographic Security Analysis of E-voting Systems: Achievements,
                  Misconceptions, and Limitations},
  booktitle    = {Electronic Voting - Second International Joint Conference, E-Vote-ID
                  2017, Bregenz, Austria, October 24-27, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10615},
  pages        = {21--41},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68687-5\_2},
  doi          = {10.1007/978-3-319-68687-5\_2},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/voteid/Kusters017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/KustersMST16,
  author       = {Ralf K{\"{u}}sters and
                  Johannes M{\"{u}}ller and
                  Enrico Scapin and
                  Tomasz Truderung},
  title        = {sElect: {A} Lightweight Verifiable Remote Voting System},
  booktitle    = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
                  Portugal, June 27 - July 1, 2016},
  pages        = {341--354},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/CSF.2016.31},
  doi          = {10.1109/CSF.2016.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/KustersMST16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/CortierGKMT16,
  author       = {V{\'{e}}ronique Cortier and
                  David Galindo and
                  Ralf K{\"{u}}sters and
                  Johannes M{\"{u}}ller and
                  Tomasz Truderung},
  title        = {SoK: Verifiability Notions for E-Voting Protocols},
  booktitle    = {{IEEE} Symposium on Security and Privacy, {SP} 2016, San Jose, CA,
                  USA, May 22-26, 2016},
  pages        = {779--798},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SP.2016.52},
  doi          = {10.1109/SP.2016.52},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sp/CortierGKMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/CortierGKMT16,
  author       = {V{\'{e}}ronique Cortier and
                  David Galindo and
                  Ralf K{\"{u}}sters and
                  Johannes M{\"{u}}ller and
                  Tomasz Truderung},
  title        = {Verifiability Notions for E-Voting Protocols},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {287},
  year         = {2016},
  url          = {http://eprint.iacr.org/2016/287},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/CortierGKMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/KustersMST16,
  author       = {Ralf K{\"{u}}sters and
                  Johannes M{\"{u}}ller and
                  Enrico Scapin and
                  Tomasz Truderung},
  title        = {sElect: {A} Lightweight Verifiable Remote Voting System},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {438},
  year         = {2016},
  url          = {http://eprint.iacr.org/2016/438},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/KustersMST16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics