Our Mission

“Make the digital world more secure in a fundamental way”
ETH President Joël Mesot

Our Team

Information Security Group
ETH Zurich

Prof. Dr. David Basin
Dr. Martin Ochoa
Dr. Jorge Toro
Felix Linker
Mihael Liskij

Programming Methodology Group
ETH Zurich

Prof. Dr. Peter Müller
Dr. Malte Schwerhoff
Linard Arquint

Network Security Group
ETH Zurich

Prof. Dr. Adrian Perrig
Christelle Gloor

Usable Security And Privacy Group
University of Bonn

Prof. Dr. Matthew Smith
Lisa Geierhaas
Maximilian Häring

Publications

Authors:
  • D. A. Basin, A. Lochbihler, and R. S. Sefidgar, “CryptHOL: Game-based Proofs in Higher-order Logic,” Journal of Cryptology, pp. 1-73, 2020.
    [BibTeX] [Download PDF]
    @article{Basin:2020:CryptHOL,
    author = {David A. Basin and Andreas Lochbihler and S. Reza Sefidgar},
    title = {CryptHOL: Game-based Proofs in Higher-order Logic},
    journal = {Journal of Cryptology},
    year = {2020},
    pages = {1-73},
    url = {https://people.inf.ethz.ch/basin/pubs/jcrypto19.pdf},
    }
  • G. Girol, L. Hirschi, R. Sasse, D. Jackson, C. Cremers, and D. Basin, “A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols,” in 29th USENIX Security Symposium (USENIX Security 20), Boston, MA, 2020.
    [BibTeX] [Download PDF]
    @inproceedings {251584,
    author = {Guillaume Girol and Lucca Hirschi and Ralf Sasse and Dennis Jackson and Cas Cremers and David Basin},
    title = {A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols},
    booktitle = {29th {USENIX} Security Symposium ({USENIX} Security 20)},
    year = {2020},
    address = {Boston, MA},
    url = {https://people.inf.ethz.ch/basin/pubs/usenix20.pdf},
    publisher = {{USENIX} Association},
    month = aug,
    }
  • L. Chuat, A. Abdou, R. Sasse, C. Sprenger, D. Basin, and A. Perrig, “SoK: Delegation and Revocation, the Missing Links in the Web’s Chain of Trust,” in IEEE European Symposium on Security & Privacy, 2020. doi:10.1109/EuroSP48549.2020.00046
    [BibTeX] [Download PDF]
    @inproceedings{Chuat:2020:SoK,
    author={L. Chuat and A. Abdou and R. Sasse and C. Sprenger and D. Basin and A. Perrig},
    title={SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust},
    booktitle={IEEE European Symposium on Security & Privacy},
    year={2020},
    url = {https://netsec.ethz.ch/publications/papers/sok-delegation-revocation.pdf},
    doi = {10.1109/EuroSP48549.2020.00046},
    }
  • F. A. Wolf, L. Arquint, M. Clochard, W. Oortwijn, J. C. Pereira, and P. Müller, “Gobra: Modular Specification and Verification of Go Programs,” in Computer Aided Verification (CAV), 2021, p. 367–379. doi:10.1007/978-3-030-81685-8_17
    [BibTeX] [Download PDF]
    @inproceedings{WolfArquintClochardOortwijnPereiraMueller21,
    author = {F. A. Wolf and L. Arquint and M. Clochard and W. Oortwijn and J. C. Pereira and P. M\"uller},
    title = {{G}obra: Modular Specification and Verification of Go Programs},
    booktitle = {Computer Aided Verification (CAV)},
    editor = {Silva, Alexandra and Leino, K. Rustan M.},
    series = {LNCS},
    volume = {12759},
    publisher = {Springer International Publishing},
    pages = {367--379},
    year = {2021},
    url = {http://pm.inf.ethz.ch/publications/getpdf.php?bibname=Own&id=WolfArquintClochardOortwijnPereiraMueller21.pdf},
    doi = {10.1007/978-3-030-81685-8_17},
    }
  • M. Häring, E. Gerlitz, C. Tiefenau, M. Smith, D. Wermke, S. Fahl, and Y. Acar, “Never ever or no matter what: Investigating Adoption Intentions and Misconceptions about the Corona-Warn-App in Germany,” in Seventeenth Symposium on Usable Privacy and Security (SOUPS 2021), 2021, p. 77–98.
    [BibTeX] [Download PDF]
    @inproceedings {cwa1,
    author= {Maximilian H{\"a}ring and Eva Gerlitz and Christian Tiefenau and Matthew Smith and Dominik Wermke and Sascha Fahl and Yasemin Acar},
    title = {Never ever or no matter what: Investigating Adoption Intentions and Misconceptions about the Corona-Warn-App in Germany},
    booktitle = {Seventeenth Symposium on Usable Privacy and Security ({SOUPS} 2021)},
    year = {2021}, isbn = {978-1-939133-25-0},
    pages = {77--98},
    url = {https://www.usenix.org/conference/soups2021/presentation/acar},
    publisher = {{USENIX} Association}, month = aug,
    }