User Tools

Site Tools


People »

Johannes Müller, M.Sc.

Researcher at the chair of Information Security and Cryptography, University of Trier.

Johannes Müller, M.Sc.
Ph.D. Student
Room: H442
Phone: +49 651 201 3201
muellerjoh@uni-trier.de*
*Interested in thesis/project?

Postal address:
Universität Trier
Universitätsring 15
54286 Trier
Germany

Publications

2017

  • Ralf Küsters and Johannes Müller. Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations. In Electronic Voting - Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings, pages 21-41, Springer, Lecture Notes in Computer Science 10615, 2017. Invited paper. BibTeX  Abstract  pdf 

2016

  • Ralf Küsters, Johannes Müller, Enrico Scapin, and Tomasz Truderung. sElect: A Lightweight Verifiable Remote Voting System. Technical Report, Cryptology ePrint Archive, Report 2016/438, 2016. Available at http://eprint.iacr.org/2016/438. BibTeX  Abstract  pdf 
  • Ralf Küsters, Johannes Müller, Enrico Scapin, and Tomasz Truderung. sElect: A Lightweight Verifiable Remote Voting System. In IEEE 29th Computer Security Foundations Symposium (CSF 2016), pages 341-354, IEEE Computer Society, 2016. BibTeX  Abstract  pdf 
  • Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, and Tomasz Truderung. SoK: Verifiability Notions for E-Voting Protocols. In IEEE 37th Symposium on Security and Privacy (S&P 2016), pages 779-798, IEEE Computer Society, 2016. BibTeX  Abstract  pdf 
  • Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, and Tomasz Truderung. Verifiability Notions for E-Voting Protocols. Technical Report, Cryptology ePrint Archive, Report 2016/287, 2016. Available at http://eprint.iacr.org/2016/287. BibTeX  Abstract  pdf