default search action

combined dblp search
author search
venue search
publication search

ask others

Johannes Müller 0001

Johannes Mueller 0001

> Home > Persons

Person information

affiliation: University of Luxembourg, Interdisciplinary Centre for Security, Reliability and Trust, Luxembourg
affiliation: University of Trier, Germany

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/cic/Alnahawi0OW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cic/Alnahawi0OW24
Nouri Alnahawi, Johannes Müller, Jan Oupický, Alexander Wiesmaier:
A Comprehensive Survey on Post-Quantum TLS. IACR Commun. Cryptol. 1(2): 6 (2024)
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/popets/MullerPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/popets/MullerPP24
Johannes Müller, Balázs Pejó, Ivan Pryvalov:
DeVoS: Deniable Yet Verifiable Vote Updating. Proc. Priv. Enhancing Technol. 2024(1): 357-378 (2024)
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/popets/MullerO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/popets/MullerO24
Johannes Müller, Jan Oupický:
Post-quantum XML and SAML Single Sign-On. Proc. Priv. Enhancing Technol. 2024(4): 525-543 (2024)
2023
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/MestelMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/MestelMR23
David Mestel, Johannes Müller, Pascal Reisert:
How efficient are replay attacks against vote privacy? A formal quantitative analysis. J. Comput. Secur. 31(5): 421-467 (2023)
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/popets/HainesMMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/popets/HainesMMP23
Thomas Haines, Rafieh Mosaheb, Johannes Müller, Ivan Pryvalov:
SoK: Secure E-Voting with Everlasting Privacy. Proc. Priv. Enhancing Technol. 2023(1): 279-293 (2023)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/evoteid/MullerT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/evoteid/MullerT23
Johannes Müller, Tomasz Truderung:
CAISED: A Protocol for Cast-as-Intended Verifiability with a Second Device. E-Vote-ID 2023: 123-139
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/Haines0Q23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/Haines0Q23
Thomas Haines, Johannes Müller, Iñigo Querejeta-Azurmendi:
Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions. SAC 2023: 1576-1584
2022
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/acisp/GjosteenHMRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acisp/GjosteenHMRS22
Kristian Gjøsteen, Thomas Haines, Johannes Müller, Peter B. Rønne, Tjerand Silde:
Verifiable Decryption in the Head. ACISP 2022: 355-374
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/HuberKKL00R022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/HuberKKL00R022
Nicolas Huber, Ralf Küsters, Toomas Krips, Julian Liedtke, Johannes Müller, Daniel Rausch, Pascal Reisert, Andreas Vogt:
Kryvos: Publicly Tally-Hiding Verifiable E-Voting. CCS 2022: 1443-1457
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/MestelMR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/MestelMR22
David Mestel, Johannes Müller, Pascal Reisert:
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis. CSF 2022: 179-194
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/Muller22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/Muller22
Johannes Müller:
Breaking and Fixing Vote Privacy of the Estonian E-Voting Protocol IVXV. Financial Cryptography Workshops 2022: 325-334
2021
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/acisp/HainesM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acisp/HainesM21
Thomas Haines, Johannes Müller:
Optimal Randomized Partial Checking for Decryption Mix Nets. ACISP 2021: 277-292
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/acisp/HainesM21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acisp/HainesM21a
Thomas Haines, Johannes Müller:
A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose. ACISP 2021: 293-308
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosp/BoyenHM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosp/BoyenHM21
Xavier Boyen, Thomas Haines, Johannes Müller:
Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting. EuroS&P 2021: 272-291
2020
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Haines020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Haines020
Thomas Haines, Johannes Müller:
SoK: Techniques for Verifiable Mix Nets. CSF 2020: 49-64
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/BoyenHM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/BoyenHM20
Xavier Boyen, Thomas Haines, Johannes Müller:
A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing. ESORICS (2) 2020: 336-356
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosp/KustersL00020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosp/KustersL00020
Ralf Küsters, Julian Liedtke, Johannes Müller, Daniel Rausch, Andreas Vogt:
Ordinos: A Verifiable Tally-Hiding E-Voting System. EuroS&P 2020: 216-235
2017
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/Kusters017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/Kusters017
Ralf Küsters, Johannes Müller:
Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations. E-VOTE-ID 2017: 21-41
2016
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/KustersMST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/KustersMST16
Ralf Küsters, Johannes Müller, Enrico Scapin, Tomasz Truderung:
sElect: A Lightweight Verifiable Remote Voting System. CSF 2016: 341-354
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/CortierGKMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/CortierGKMT16
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung:
SoK: Verifiability Notions for E-Voting Protocols. IEEE Symposium on Security and Privacy 2016: 779-798

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i17]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/MullerO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/MullerO24
Johannes Müller, Jan Oupický:
Post-quantum XML and SAML Single Sign-On. IACR Cryptol. ePrint Arch. 2024: 828 (2024)
2023
[i16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-09456
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-09456
Johannes Müller, Tomasz Truderung:
A Protocol for Cast-as-Intended Verifiability with a Second Device. CoRR abs/2304.09456 (2023)
[i15]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/MuellerPP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/MuellerPP23
Johannes Mueller, Balazs Pejo, Ivan Pryvalov:
DeVoS: Deniable Yet Verifiable Vote Updating. IACR Cryptol. ePrint Arch. 2023: 1616 (2023)
[i14]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/AlnahawiMOW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlnahawiMOW23
Nouri Alnahawi, Johannes Müller, Jan Oupický, Alexander Wiesmaier:
SoK: Post-Quantum TLS Handshake. IACR Cryptol. ePrint Arch. 2023: 1873 (2023)
2022
[i13]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/Mestel0R22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/Mestel0R22
David Mestel, Johannes Müller, Pascal Reisert:
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis. IACR Cryptol. ePrint Arch. 2022: 743 (2022)
[i12]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/HuberKKL00R022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/HuberKKL00R022
Nicolas Huber, Ralf Küsters, Toomas Krips, Julian Liedtke, Johannes Müller, Daniel Rausch, Pascal Reisert, Andreas Vogt:
Kryvos: Publicly Tally-Hiding Verifiable E-Voting. IACR Cryptol. ePrint Arch. 2022: 1132 (2022)
2021
[i11]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BoyenH021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BoyenH021
Xavier Boyen, Thomas Haines, Johannes Müller:
Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting. IACR Cryptol. ePrint Arch. 2021: 304 (2021)
[i10]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/HainesM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/HainesM21
Thomas Haines, Johannes Müller:
Optimal Randomized Partial Checking for Decryption Mix Nets. IACR Cryptol. ePrint Arch. 2021: 520 (2021)
[i9]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/GjosteenHMRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/GjosteenHMRS21
Kristian Gjøsteen, Thomas Haines, Johannes Müller, Peter B. Rønne, Tjerand Silde:
Verifiable Decryption in the Head. IACR Cryptol. ePrint Arch. 2021: 558 (2021)
[i8]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/HainesM21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/HainesM21a
Thomas Haines, Johannes Müller:
A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose. IACR Cryptol. ePrint Arch. 2021: 588 (2021)
2020
[i7]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BoyenHM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BoyenHM20
Xavier Boyen, Thomas Haines, Johannes Müller:
A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing. IACR Cryptol. ePrint Arch. 2020: 115 (2020)
[i6]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/KustersLMRV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/KustersLMRV20
Ralf Küsters, Julian Liedtke, Johannes Müller, Daniel Rausch, Andreas Vogt:
Ordinos: A Verifiable Tally-Hiding E-Voting System. IACR Cryptol. ePrint Arch. 2020: 405 (2020)
[i5]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/HainesM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/HainesM20
Thomas Haines, Johannes Müller:
SoK: Techniques for Verifiable Mix Nets. IACR Cryptol. ePrint Arch. 2020: 490 (2020)
[i4]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/DingEMRW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/DingEMRW20
Jintai Ding, Doug Emery, Johannes Müller, Peter Y. A. Ryan, Vonn Kee Wong:
Post-Quantum Anonymous Veto Networks. IACR Cryptol. ePrint Arch. 2020: 1023 (2020)
[i3]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/Mueller20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/Mueller20
Johannes Müller:
How not to VoteAgain: Pitfalls of Scalable Coercion-Resistant E-Voting. IACR Cryptol. ePrint Arch. 2020: 1406 (2020)
2016
[i2]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CortierGKMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CortierGKMT16
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung:
Verifiability Notions for E-Voting Protocols. IACR Cryptol. ePrint Arch. 2016: 287 (2016)
[i1]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/KustersMST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/KustersMST16
Ralf Küsters, Johannes Müller, Enrico Scapin, Tomasz Truderung:
sElect: A Lightweight Verifiable Remote Voting System. IACR Cryptol. ePrint Arch. 2016: 438 (2016)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.