sElect: A Lightweight Verifiable Remote Voting System. - Ralf Küsters; Johannes Müller 001; Enrico Scapin; Tomasz Truderung (CSF, 2016)

SoK: Verifiability Notions for E-Voting Protocols. - Véronique Cortier; David Galindo; Ralf Küsters; Johannes Müller 001; Tomasz Truderung (IEEE Symposium on Security and Privacy, 2016)

Verifiability Notions for E-Voting Protocols. - Véronique Cortier; David Galindo; Ralf Küsters; Johannes Müller 001; Tomasz Truderung (IACR Cryptol. ePrint Arch., 2016)

Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations. - Ralf Küsters; Johannes Müller 001 (E-VOTE-ID, 2017)

SoK: Techniques for Verifiable Mix Nets. - Thomas Haines; Johannes Müller 001 (CSF, 2020)

A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing. - Xavier Boyen; Thomas Haines; Johannes Müller 001 (ESORICS (2), 2020)

Ordinos: A Verifiable Tally-Hiding E-Voting System. - Ralf Küsters; Julian Liedtke; Johannes Müller 001; Daniel Rausch 001; Andreas Vogt 001 (EuroS&P, 2020)

Post-Quantum Anonymous Veto Networks. - Jintai Ding; Doug Emery; Johannes Müller 001; Peter Y. A. Ryan; Vonn Kee Wong (IACR Cryptol. ePrint Arch., 2020)

How not to VoteAgain: Pitfalls of Scalable Coercion-Resistant E-Voting. - Johannes Müller 001 (IACR Cryptol. ePrint Arch., 2020)

Optimal Randomized Partial Checking for Decryption Mix Nets. - Thomas Haines; Johannes Müller 001 (ACISP, 2021)

A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose. - Thomas Haines; Johannes Müller 001 (ACISP, 2021)

Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting. - Xavier Boyen; Thomas Haines; Johannes Müller 001 (EuroS&P, 2021)

Verifiable Decryption in the Head. - Kristian Gjøsteen; Thomas Haines; Johannes Müller 001; Peter B. Rønne; Tjerand Silde (ACISP, 2022)

Kryvos: Publicly Tally-Hiding Verifiable E-Voting. - Nicolas Huber; Ralf Küsters; Toomas Krips; Julian Liedtke; Johannes Müller 001; Daniel Rausch 001; Pascal Reisert; Andreas Vogt 001 (CCS, 2022)

How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis. - David Mestel; Johannes Müller 001; Pascal Reisert (CSF, 2022)

Breaking and Fixing Vote Privacy of the Estonian E-Voting Protocol IVXV. - Johannes Müller 001 (Financial Cryptography Workshops, 2022)

CAISED: A Protocol for Cast-as-Intended Verifiability with a Second Device. - Johannes Müller 001; Tomasz Truderung (E-Vote-ID, 2023)

Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions. - Thomas Haines; Johannes Müller 001; Iñigo Querejeta-Azurmendi (SAC, 2023)

A Protocol for Cast-as-Intended Verifiability with a Second Device. - Johannes Müller 001; Tomasz Truderung (CoRR, 2023)

SoK: Post-Quantum TLS Handshake. - Nouri Alnahawi; Johannes Müller 001; Jan Oupický; Alexander Wiesmaier (IACR Cryptol. ePrint Arch., 2023)

DeVoS: Deniable Yet Verifiable Vote Updating. - Johannes Mueller 001; Balazs Pejo; Ivan Pryvalov (IACR Cryptol. ePrint Arch., 2023)

SoK: Secure E-Voting with Everlasting Privacy. - Thomas Haines; Rafieh Mosaheb; Johannes Müller 001; Ivan Pryvalov (Proc. Priv. Enhancing Technol., 2023)

A Comprehensive Survey on Post-Quantum TLS. - Nouri Alnahawi; Johannes Müller 001; Jan Oupický; Alexander Wiesmaier (IACR Commun. Cryptol., 2024)

Post-quantum XML and SAML Single Sign-On. - Johannes Müller 001; Jan Oupický (IACR Cryptol. ePrint Arch., 2024)

Zero-Knowledge Proofs from Learning Parity with Noise: Optimization, Verification, and Application. - Thomas Haines; Rafieh Mosaheb; Johannes Müller 001; Reetika (CSF, 2025)