Dr. Johannes Mueller
|
|
||||
| Faculty or Centre | Interdisciplinary Centre for Security, Reliability and Trust | ||||
| Department | APSIA | ||||
| Postal Address |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||
| Campus Office | MNO, E02 0225-090 | ||||
|
|||||
| Telephone | (+352) 46 66 44 5435 | ||||
Johannes Müller works as a Research Scientist in the Applied Security and Information Assurance (APSIA) group headed by Prof. Peter Y.A. Ryan. Johannes specializes in the design, analysis, and deployment of privacy enhancing technologies and applied cryptography, with a focus on secure electronic voting, secure mixing networks, and related fields.
Research career:
- 12/2014 -- 01/2019: PhD Student (University of Trier and University Stuttgart)
- 02/2019 -- 01/2021: Research Associate (SnT, University of Luxembourg)
- 02/2021 -- now: Research Scientist (SnT, University of Luxembourg)
Current projects:
- Principal Investigator (PI) of the FNR CORE Junior project FP2: Future-Proofing Privacy in Secure Electronic Voting
- Co-PI of the FNR CORE project EquiVox: Secure, Quantum-Safe, Practical Voting Technologies
- Co-PI of the partnership program with LuxTrust on Post-Quantum Migration
Program committees:
- IEEE CSF 2021, 2022
- ESORICS 2021, 2022
- E-Vote-ID 2020, 2021, 2022
- Indocrypt 2021
Last updated on: Monday, 13 June 2022
2023
SoK: Secure E-Voting with Everlasting Privacy; ; ;
in Proceedings on Privacy Enhancing Technologies (PoPETs) (2023)
Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions; ;
in Proceedings of ACM SAC Conference (SAC'23) (2023)
2022
Kryvos: Publicly Tally-Hiding Verifiable E-Voting; ; ; ; ; ; ;
in 2022 ACM SIGSAC Conference on Computer and Communications Security (2022)
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis; ;
in 35th IEEE Computer Security Foundations Symposium (2022)
Breaking and Fixing Vote Privacy of the Estonian E-Voting Protocol IVXVin Workshop on Advances in Secure Electronic Voting 2022 (2022)
2021
Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting; ;
in IEEE European Symposium on Security and Privacy, EuroS&P 2021, Vienna, Austria, September 6-10, 2021 (2021)
Optimal Randomized Partial Checking for Decryption Mix Nets;
in Information Security and Privacy - 26th Australasian Conference, ACISP 2021, Virtual Event, December 1-3, 2021, Proceedings (2021)
A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose;
in Information Security and Privacy - 26th Australasian Conference, ACISP 2021, Virtual Event, December 1-3, 2021, Proceedings (2021)
2020
A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing; ;
in Computer Security - ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II (2020)
Ordinos: A Verifiable Tally-Hiding E-Voting Systemin Küsters, Ralf; Liedtke, Julian; Mueller, Johannes; Rausch, Daniel; Vogt, Andreas (Eds.) IEEE European Symposium on Security and Privacy (2020)
SoK: Techniques for Verifiable Mix Netsin Haines, Thomas; Mueller, Johannes (Eds.) IEEE Computer Security Foundations Symposium (2020)
