Johannes Müller

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