@inproceedings{ArquintWLSSWBM23,
author = {Linard Arquint and
Felix A. Wolf and
Joseph Lallemand and
Ralf Sasse and
Christoph Sprenger and
Sven N. Wiesner and
David Basin and
Peter M{\"{u}}ller},
title = {Sound Verification of Security Protocols: From Design to Interoperable Implementations},
booktitle = {IEEE Symposium on Security and Privacy (S{\&}P)},
volume = {},
issn = {},
pages = {1065-1081},
keywords = {protocol-verification;symbolic-security;automated-verification;tamarin;separation-logic;implementation},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
month = {may},
year = {2023},
doi = {10.1109/SP46215.2023.00061},
url = {https://pm.inf.ethz.ch/publications/ArquintWolfLallemandSasseSprengerWiesnerBasinMueller23.pdf}
}

@techreport{ArquintSchwerhoffMehtaMueller22,
author = {Linard Arquint and Malte Schwerhoff and Vaibhav Mehta and Peter M\"uller},
title = {A Generic Methodology for the Modular Verification of Security Protocol Implementations},
institution = {arXiv},
year = {2022},
number = {2212.02626},
doi = {10.48550/ARXIV.2212.02626},
url = {https://arxiv.org/abs/2212.02626}
}

@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,
}

@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},
}

@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},
}

@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,
}

@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},
}