Follow
Johannes Mueller
Title
Cited by
Cited by
Year
Sok: Verifiability notions for e-voting protocols
V Cortier, D Galindo, R Küsters, J Müller, T Truderung
2016 IEEE Symposium on Security and Privacy (SP), 779-798, 2016
1232016
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
432016
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), 2020
31*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
192020
SoK: techniques for verifiable mix nets
T Haines, J Müller
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 49-64, 2020
182020
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
132017
Verifiable decryption in the head
K Gjøsteen, T Haines, J Müller, P Rønne, T Silde
Cryptology ePrint Archive, 2021
52021
Epoque: practical end-to-end verifiable post-quantum-secure e-voting
X Boyen, T Haines, J Müller
2021 IEEE European Symposium on Security and Privacy (EuroS&P), 272-291, 2021
32021
How not to VoteAgain: Pitfalls of Scalable Coercion-Resistant E-Voting
T Haines, J Mueller
Cryptology ePrint Archive, 2020
22020
Post-Quantum Anonymous Veto Networks
J Ding, D Emery, J Müller, PYA Ryan, VK Wong
Cryptology ePrint Archive, 2020
22020
Design and cryptographic security analysis of e-voting protocols
J Müller
22019
A novel proof of shuffle: exponentially secure cut-and-choose
T Haines, J Müller
Australasian Conference on Information Security and Privacy, 293-308, 2021
12021
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis
D Mestel, J Mueller, P Reisert
35th IEEE Computer Security Foundations Symposium, 2022
2022
Breaking and Fixing Vote Privacy of the Estonian E-Voting Protocol IVXV
J Mueller
Workshop on Advances in Secure Electronic Voting 2022, 2022
2022
Optimal randomized partial checking for decryption mix nets
T Haines, J Müller
Australasian Conference on Information Security and Privacy, 277-292, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–15