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 database¹, Johannes Müller authored at least 24 papers between 2016 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

DeVoS: Deniable Yet Verifiable Vote Updating.

[BibT_eX]

[DOI]

Johannes Müller

Balázs Pejó

Ivan Pryvalov

Proc. Priv. Enhancing Technol., January, 2024

Post-quantum XML and SAML Single Sign-On.

[BibT_eX]

[DOI]

Johannes Müller

Jan Oupický

Proc. Priv. Enhancing Technol., 2024

A Comprehensive Survey on Post-Quantum TLS.

[BibT_eX]

[DOI]

IACR Commun. Cryptol., 2024

2023

SoK: Secure E-Voting with Everlasting Privacy.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., January, 2023

How efficient are replay attacks against vote privacy? A formal quantitative analysis.

[BibT_eX]

[DOI]

David Mestel

Johannes Müller

Pascal Reisert

J. Comput. Secur., 2023

SoK: Post-Quantum TLS Handshake.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

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

[BibT_eX]

[DOI]

Johannes Müller

Tomasz Truderung

CoRR, 2023

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Johannes Müller

Tomasz Truderung

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

2022

Kryvos: Publicly Tally-Hiding Verifiable E-Voting.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

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

[BibT_eX]

[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.

[BibT_eX]

[DOI]

Thomas Haines

Johannes Müller

IACR Cryptol. ePrint Arch., 2021

Optimal Randomized Partial Checking for Decryption Mix Nets.

[BibT_eX]

[DOI]

Thomas Haines

Johannes Müller

IACR Cryptol. ePrint Arch., 2021

Verifiable Decryption in the Head.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

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

[BibT_eX]

[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.

[BibT_eX]

[DOI]

Johannes Müller

IACR Cryptol. ePrint Arch., 2020

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

SoK: Techniques for Verifiable Mix Nets.

[BibT_eX]

[DOI]

Thomas Haines

Johannes Müller

IACR Cryptol. ePrint Arch., 2020

Post-Quantum Anonymous Veto Networks.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

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

[BibT_eX]

[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.

[BibT_eX]

[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.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Verifiability Notions for E-Voting Protocols.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

SoK: Verifiability Notions for E-Voting Protocols.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2016

Johannes Müller

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...