Johannes Mueller
Title
Cited by
Cited by
Year
Sok: Verifiability notions for e-voting protocols
V Cortier, D Galindo, R Küsters, J Mueller, T Truderung
2016 IEEE Symposium on Security and Privacy (SP), 779-798, 2016
1062016
sElect: A lightweight verifiable remote voting system
R Küsters, J Müller, E Scapin, T Truderung
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 341-354, 2016
372016
Ordinos: A Verifiable Tally-Hiding Electronic Voting Protocol
J Liedtke, R Küsters, J Müller, D Rausch, A Vogt
IEEE 5th European Symposium on Security and Privacy (EuroS&P 2020). IEEE …, 2020
20*2020
A verifiable and practical lattice-based decryption mix net with external auditing
X Boyen, T Haines, J Müller
European Symposium on Research in Computer Security, 336-356, 2020
142020
Sok: Techniques for verifiable mix nets
T Haines, J Müller
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 49-64, 2020
112020
Cryptographic security analysis of e-voting systems: Achievements, misconceptions, and limitations
R Küsters, J Müller
International Joint Conference on Electronic Voting, 21-41, 2017
92017
Design and cryptographic security analysis of e-voting protocols
J Müller
22019
Post-Quantum Anonymous Veto Networks
J Ding, D Emery, J Müller, PYA Ryan, V Kee Wong
E-Vote-ID 2020, 2020
12020
A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose
T Haines, J Mueller
Cryptology ePrint Archive, 2021
2021
Optimal Randomized Partial Checking for Decryption Mix Nets.
T Haines, J Müller
IACR Cryptol. ePrint Arch. 2021, 520, 2021
2021
Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting.
X Boyen, T Haines, J Müller
IACR Cryptol. ePrint Arch. 2021, 304, 2021
2021
How not to VoteAgain: Pitfalls of Scalable Coercion-Resistant E-Voting
T Haines, J Mueller
Cryptology ePrint Archive, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–12