| The scyther tool: Verification, falsification, and analysis of security protocols: Tool paper CJF Cremers International conference on computer aided verification, 414-418, 2008 | 995 | 2008 |
| The Tamarin prover for the symbolic analysis of security protocols S Meier, B Schmidt, C Cremers, D Basin Computer Aided Verification, 696-701, 2013 | 880 | 2013 |
| Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem, PA Abdulla, R Alur, C Baier, ... Springer, 2018 | 814 | 2018 |
| A formal security analysis of the signal messaging protocol K Cohn-Gordon, C Cremers, B Dowling, L Garratt, D Stebila Journal of Cryptology 33, 1914-1983, 2020 | 478 | 2020 |
| Scyther: Semantics and verification of security protocols CJF Cremers Dissertation Abstracts International 68 (02), 2006 | 399 | 2006 |
| Decentralized privacy-preserving proximity tracing C Troncoso, M Payer, JP Hubaux, M Salathé, J Larus, E Bugnion, ... arXiv preprint arXiv:2005.12273, 2020 | 344 | 2020 |
| Automated analysis of Diffie-Hellman protocols and advanced security properties B Schmidt, S Meier, C Cremers, D Basin 2012 IEEE 25th Computer Security Foundations Symposium, 78-94, 2012 | 340 | 2012 |
| A comprehensive symbolic analysis of TLS 1.3 C Cremers, M Horvat, J Hoyland, S Scott, T Van Der Merwe Proceedings of the 2017 ACM SIGSAC conference on computer and communications …, 2017 | 301 | 2017 |
| On post-compromise security K Cohn-Gordon, C Cremers, L Garratt 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 164-178, 2016 | 231 | 2016 |
| Distance hijacking attacks on distance bounding protocols C Cremers, KB Rasmussen, B Schmidt, S Capkun 2012 IEEE symposium on security and privacy, 113-127, 2012 | 228 | 2012 |
| Security properties C Cremers, S Mauw, C Cremers, S Mauw Operational Semantics and Verification of Security Protocols, 37-65, 2012 | 216 | 2012 |
| SoK: Computer-aided cryptography M Barbosa, G Barthe, K Bhargavan, B Blanchet, C Cremers, K Liao, ... 2021 IEEE symposium on security and privacy (SP), 777-795, 2021 | 203 | 2021 |
| ARPKI: Attack resilient public-key infrastructure D Basin, C Cremers, THJ Kim, A Perrig, R Sasse, P Szalachowski Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014 | 190* | 2014 |
| On ends-to-ends encryption: Asynchronous group messaging with strong security guarantees K Cohn-Gordon, C Cremers, L Garratt, J Millican, K Milner Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 182 | 2018 |
| Automated analysis and verification of TLS 1.3: 0-RTT, resumption and delayed authentication C Cremers, M Horvat, S Scott, T van der Merwe 2016 IEEE Symposium on Security and Privacy (SP), 470-485, 2016 | 160 | 2016 |
| Model checking security protocols D Basin, C Cremers, C Meadows Handbook of Model Checking, 727-762, 2018 | 141 | 2018 |
| Component-based formal analysis of 5G-AKA: Channel assumptions and session confusion C Cremers, M Dehnel-Wild Network and Distributed System Security Symposium (NDSS), 2019 | 131 | 2019 |
| Provably repairing the ISO/IEC 9798 standard for entity authentication D Basin, C Cremers, S Meier Journal of Computer Security 21 (6), 817-846, 2013 | 123 | 2013 |
| Comparing state spaces in automatic security protocol analysis CJF Cremers, P Lafourcade, P Nadeau Formal to Practical Security: Papers Issued from the 2005-2008 French …, 2009 | 121 | 2009 |
| Key exchange in IPsec revisited: Formal analysis of IKEv1 and IKEv2 C Cremers Computer Security–ESORICS 2011: 16th European Symposium on Research in …, 2011 | 120 | 2011 |
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
