Johannes Müller

According to our database, Johannes Müller authored at least 25 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Zero-Knowledge Proofs from Learning Parity with Noise: Optimization, Verification, and Application.

Thomas Haines, Rafieh Mosaheb, Johannes Müller, Reetika

Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025

2024

Post-quantum XML and SAML Single Sign-On.

Johannes Müller, Jan Oupický

IACR Cryptol. ePrint Arch., 2024

A Comprehensive Survey on Post-Quantum TLS.

Nouri Alnahawi, Johannes Müller, Jan Oupický, Alexander Wiesmaier

IACR Commun. Cryptol., 2024

2023

SoK: Secure E-Voting with Everlasting Privacy.

Thomas Haines, Rafieh Mosaheb, Johannes Müller, Ivan Pryvalov

Proc. Priv. Enhancing Technol., January, 2023

DeVoS: Deniable Yet Verifiable Vote Updating.

Johannes Mueller, Balazs Pejo, Ivan Pryvalov

IACR Cryptol. ePrint Arch., 2023

SoK: Post-Quantum TLS Handshake.

Nouri Alnahawi, Johannes Müller, Jan Oupický, Alexander Wiesmaier

IACR Cryptol. ePrint Arch., 2023

A Protocol for Cast-as-Intended Verifiability with a Second Device.

Johannes Müller, Tomasz Truderung

CoRR, 2023

Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions.

Thomas Haines, Johannes Müller, Iñigo Querejeta-Azurmendi

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

CAISED: A Protocol for Cast-as-Intended Verifiability with a Second Device.

Johannes Müller, Tomasz Truderung

Proceedings of the Electronic Voting: 8th International Joint Conference, 2023

2022

Breaking and Fixing Vote Privacy of the Estonian E-Voting Protocol IVXV.

Johannes Müller

Proceedings of the Financial Cryptography and Data Security. FC 2022 International Workshops, 2022

How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis.

David Mestel, Johannes Müller, Pascal Reisert

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Kryvos: Publicly Tally-Hiding Verifiable E-Voting.

Nicolas Huber, Ralf Küsters, Toomas Krips, Julian Liedtke, Johannes Müller, Daniel Rausch, Pascal Reisert, Andreas Vogt

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Verifiable Decryption in the Head.

Kristian Gjøsteen, Thomas Haines, Johannes Müller, Peter B. Rønne, Tjerand Silde

Proceedings of the Information Security and Privacy - 27th Australasian Conference, 2022

2021

Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting.

Xavier Boyen, Thomas Haines, Johannes Müller

Proceedings of the IEEE European Symposium on Security and Privacy, 2021

A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose.

Thomas Haines, Johannes Müller

Proceedings of the Information Security and Privacy - 26th Australasian Conference, 2021

Optimal Randomized Partial Checking for Decryption Mix Nets.

Thomas Haines, Johannes Müller

Proceedings of the Information Security and Privacy - 26th Australasian Conference, 2021

2020

How not to VoteAgain: Pitfalls of Scalable Coercion-Resistant E-Voting.

Johannes Müller

IACR Cryptol. ePrint Arch., 2020

Post-Quantum Anonymous Veto Networks.

Jintai Ding, Doug Emery, Johannes Müller, Peter Y. A. Ryan, Vonn Kee Wong

IACR Cryptol. ePrint Arch., 2020

Ordinos: A Verifiable Tally-Hiding E-Voting System.

Ralf Küsters, Julian Liedtke, Johannes Müller, Daniel Rausch, Andreas Vogt

Proceedings of the IEEE European Symposium on Security and Privacy, 2020

A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing.

Xavier Boyen, Thomas Haines, Johannes Müller

Proceedings of the Computer Security - ESORICS 2020, 2020

SoK: Techniques for Verifiable Mix Nets.

Thomas Haines, Johannes Müller

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2017

Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations.

Ralf Küsters, Johannes Müller

Proceedings of the Electronic Voting - Second International Joint Conference, 2017

2016

Verifiability Notions for E-Voting Protocols.

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.

Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung

Proceedings of the IEEE Symposium on Security and Privacy, 2016

sElect: A Lightweight Verifiable Remote Voting System.

Ralf Küsters, Johannes Müller, Enrico Scapin, Tomasz Truderung

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016