@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 = {2023 IEEE Symposium on Security and Privacy (SP)},
year = {2023},
volume = {},
number = {},
pages = {1077-1093},
keywords = {protocol-verification;symbolic-security;automated-verification;tamarin;separation-logic;implementation},
publisher = {IEEE},
month = {may},
doi = {10.1109/SP46215.2023.10179325},
url = {https://pm.inf.ethz.ch/publications/ArquintWolfLallemandSasseSprengerWiesnerBasinMueller23.pdf}
}

@inproceedings{LinkerBasin23,
author = {Linker, Felix and Basin, David},
title = {{ADEM}: An Authentic Digital EMblem},
year = {2023},
isbn = {9798400700507},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
booktitle = {Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security},
numpages = {15},
keywords = {accountability;authentication;formal-analysis;security-requirements;protocol-design},
location = {Copenhagen, Denmark},
series = {CCS '23},
doi = {10.1145/3576915.3616578}
}

@inproceedings{ArquintSchwerhoffMehtaMueller23,
author = {Arquint, Linard and Schwerhoff, Malte and Mehta, Vaibhav and M\"uller, Peter},
title = {A Generic Methodology for the Modular Verification of Security Protocol Implementations},
year = {2023},
isbn = {9798400700507},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
booktitle = {Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security},
numpages = {15},
keywords = {protocol-implementation-verification;symbolic-security;separation-logic;automated-verification;injective-agreement;forward-secrecy},
location = {Copenhagen, Denmark},
series = {CCS '23},
doi = {10.1145/3576915.3623105},
url = {https://pm.inf.ethz.ch/publications/ArquintSchwerhoffMehtaMueller23.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,
}

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