Johannes Müller

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 31

Top Topics

Voting Protocols

Quantitative Analysis

Security Analysis

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Johannes Müller, Balázs Pejó, Ivan Pryvalov
DeVoS: Deniable Yet Verifiable Vote Updating. Proc. Priv. Enhancing Technol. 2024 (1) (2024)
Thomas Haines, Johannes Müller, Iñigo Querejeta-Azurmendi
Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions. SAC (2023)
Johannes Müller, Tomasz Truderung
A Protocol for Cast-as-Intended Verifiability with a Second Device. CoRR (2023)
David Mestel, Johannes Müller, Pascal Reisert
How efficient are replay attacks against vote privacy? A formal quantitative analysis. J. Comput. Secur. 31 (5) (2023)
Thomas Haines, Rafieh Mosaheb, Johannes Müller, Ivan Pryvalov
SoK: Secure E-Voting with Everlasting Privacy. Proc. Priv. Enhancing Technol. 2023 (1) (2023)
David Mestel, Johannes Müller, Pascal Reisert
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis. CSF (2022)
Kristian Gjøsteen, Thomas Haines, Johannes Müller, Peter B. Rønne, Tjerand Silde
Verifiable Decryption in the Head. ACISP (2022)
Nicolas Huber, Ralf Küsters, Toomas Krips, Julian Liedtke, Johannes Müller, Daniel Rausch, Pascal Reisert, Andreas Vogt
Kryvos: Publicly Tally-Hiding Verifiable E-Voting. IACR Cryptol. ePrint Arch. 2022 (2022)
David Mestel, Johannes Müller, Pascal Reisert
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis. IACR Cryptol. ePrint Arch. 2022 (2022)
Nicolas Huber, Ralf Küsters, Toomas Krips, Julian Liedtke, Johannes Müller, Daniel Rausch, Pascal Reisert, Andreas Vogt
Kryvos: Publicly Tally-Hiding Verifiable E-Voting. CCS (2022)
Johannes Müller
Breaking and Fixing Vote Privacy of the Estonian E-Voting Protocol IVXV. Financial Cryptography Workshops (2022)
Thomas Haines, Johannes Müller
Optimal Randomized Partial Checking for Decryption Mix Nets. IACR Cryptol. ePrint Arch. 2021 (2021)
Xavier Boyen, Thomas Haines, Johannes Müller
Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting. IACR Cryptol. ePrint Arch. 2021 (2021)
Xavier Boyen, Thomas Haines, Johannes Müller
Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting. EuroS&P (2021)
Thomas Haines, Johannes Müller
A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose. ACISP (2021)
Thomas Haines, Johannes Müller
A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose. IACR Cryptol. ePrint Arch. 2021 (2021)
Kristian Gjøsteen, Thomas Haines, Johannes Müller, Peter B. Rønne, Tjerand Silde
Verifiable Decryption in the Head. IACR Cryptol. ePrint Arch. 2021 (2021)
Thomas Haines, Johannes Müller
Optimal Randomized Partial Checking for Decryption Mix Nets. ACISP (2021)
Ralf Küsters, Julian Liedtke, Johannes Müller, Daniel Rausch, Andreas Vogt
Ordinos: A Verifiable Tally-Hiding E-Voting System. IACR Cryptol. ePrint Arch. 2020 (2020)
Xavier Boyen, Thomas Haines, Johannes Müller
A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing. IACR Cryptol. ePrint Arch. 2020 (2020)
Thomas Haines, Johannes Müller
SoK: Techniques for Verifiable Mix Nets. CSF (2020)
Xavier Boyen, Thomas Haines, Johannes Müller
A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing. ESORICS (2) (2020)
Johannes Müller
How not to VoteAgain: Pitfalls of Scalable Coercion-Resistant E-Voting. IACR Cryptol. ePrint Arch. 2020 (2020)
Jintai Ding, Doug Emery, Johannes Müller, Peter Y. A. Ryan, Vonn Kee Wong
Post-Quantum Anonymous Veto Networks. IACR Cryptol. ePrint Arch. 2020 (2020)
Ralf Küsters, Julian Liedtke, Johannes Müller, Daniel Rausch, Andreas Vogt
Ordinos: A Verifiable Tally-Hiding E-Voting System. EuroS&P (2020)
Thomas Haines, Johannes Müller
SoK: Techniques for Verifiable Mix Nets. IACR Cryptol. ePrint Arch. 2020 (2020)
Ralf Küsters, Johannes Müller
Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations. E-VOTE-ID (2017)
Ralf Küsters, Johannes Müller, Enrico Scapin, Tomasz Truderung
sElect: A Lightweight Verifiable Remote Voting System. CSF (2016)
Ralf Küsters, Johannes Müller, Enrico Scapin, Tomasz Truderung
sElect: A Lightweight Verifiable Remote Voting System. IACR Cryptol. ePrint Arch. 2016 (2016)
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung
SoK: Verifiability Notions for E-Voting Protocols. IEEE Symposium on Security and Privacy (2016)
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung
Verifiability Notions for E-Voting Protocols. IACR Cryptol. ePrint Arch. 2016 (2016)