We stand with Ukraine  

Johannes Müller

Orcid: 0000-0003-2134-3099

Affiliations:
  • University of Luxembourg, Interdisciplinary Centre for Security, Reliability and Trust, Luxembourg
  • University of Trier, Germany


According to our database1, Johannes Müller authored at least 20 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
DeVoS: Deniable Yet Verifiable Vote Updating.
[BibTeX]
[DOI]
Johannes Müller
,
Balázs Pejó
,
Ivan Pryvalov
Proc. Priv. Enhancing Technol., January, 2024

2023
SoK: Secure E-Voting with Everlasting Privacy.
[BibTeX]
[DOI]
Thomas Haines
,
Rafieh Mosaheb
,
Johannes Müller
,
Ivan Pryvalov
Proc. Priv. Enhancing Technol., January, 2023

A Protocol for Cast-as-Intended Verifiability with a Second Device.
[BibTeX]
[DOI]
Johannes Müller
,
Tomasz Truderung
CoRR, 2023

Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions.
[BibTeX]
[DOI]
Thomas Haines
,
Johannes Müller
,
Iñigo Querejeta-Azurmendi
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2022
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis.
[BibTeX]
[DOI]
David Mestel
,
Johannes Müller
,
Pascal Reisert
IACR Cryptol. ePrint Arch., 2022

Kryvos: Publicly Tally-Hiding Verifiable E-Voting.
[BibTeX]
[DOI]
Nicolas Huber
,
Ralf Küsters
,
Toomas Krips
,
Julian Liedtke
,
Johannes Müller
,
Daniel Rausch
,
Pascal Reisert
,
Andreas Vogt
IACR Cryptol. ePrint Arch., 2022

Breaking and Fixing Vote Privacy of the Estonian E-Voting Protocol IVXV.
[BibTeX]
[DOI]
Johannes Müller
Proceedings of the Financial Cryptography and Data Security. FC 2022 International Workshops, 2022

2021
A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose.
[BibTeX]
[DOI]
Thomas Haines
,
Johannes Müller
IACR Cryptol. ePrint Arch., 2021

Optimal Randomized Partial Checking for Decryption Mix Nets.
[BibTeX]
[DOI]
Thomas Haines
,
Johannes Müller
IACR Cryptol. ePrint Arch., 2021

Verifiable Decryption in the Head.
[BibTeX]
[DOI]
Kristian Gjøsteen
,
Thomas Haines
,
Johannes Müller
,
Peter B. Rønne
,
Tjerand Silde
IACR Cryptol. ePrint Arch., 2021

Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting.
[BibTeX]
[DOI]
Xavier Boyen
,
Thomas Haines
,
Johannes Müller
IACR Cryptol. ePrint Arch., 2021

2020
How not to VoteAgain: Pitfalls of Scalable Coercion-Resistant E-Voting.
[BibTeX]
[DOI]
Johannes Müller
IACR Cryptol. ePrint Arch., 2020

Ordinos: A Verifiable Tally-Hiding E-Voting System.
[BibTeX]
[DOI]
Ralf Küsters
,
Julian Liedtke
,
Johannes Müller
,
Daniel Rausch
,
Andreas Vogt
IACR Cryptol. ePrint Arch., 2020

SoK: Techniques for Verifiable Mix Nets.
[BibTeX]
[DOI]
Thomas Haines
,
Johannes Müller
IACR Cryptol. ePrint Arch., 2020

Post-Quantum Anonymous Veto Networks.
[BibTeX]
[DOI]
Jintai Ding
,
Doug Emery
,
Johannes Müller
,
Peter Y. A. Ryan
,
Vonn Kee Wong
IACR Cryptol. ePrint Arch., 2020

A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing.
[BibTeX]
[DOI]
Xavier Boyen
,
Thomas Haines
,
Johannes Müller
IACR Cryptol. ePrint Arch., 2020

2017
Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations.
[BibTeX]
[DOI]
Ralf Küsters
,
Johannes Müller
Proceedings of the Electronic Voting - Second International Joint Conference, 2017

2016
sElect: A Lightweight Verifiable Remote Voting System.
[BibTeX]
[DOI]
Ralf Küsters
,
Johannes Müller
,
Enrico Scapin
,
Tomasz Truderung
IACR Cryptol. ePrint Arch., 2016

Verifiability Notions for E-Voting Protocols.
[BibTeX]
[DOI]
Véronique Cortier
,
David Galindo
,
Ralf Küsters
,
Johannes Müller
,
Tomasz Truderung
IACR Cryptol. ePrint Arch., 2016

SoK: Verifiability Notions for E-Voting Protocols.
[BibTeX]
[DOI]
Véronique Cortier
,
David Galindo
,
Ralf Küsters
,
Johannes Müller
,
Tomasz Truderung
Proceedings of the IEEE Symposium on Security and Privacy, 2016


  Loading...