| The Scyther Tool: Verification, falsification, and analysis of security protocols CJF Cremers International conference on computer aided verification, 414-418, 2008 | 745 | 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 | 611 | 2013 |
| Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem, PA Abdulla, R Alur, C Baier, ... Springer, 2018 | 468 | 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 (4), 1914-1983, 2020 | 342 | 2020 |
| Scyther: Semantics and verification of security protocols CJF Cremers Dissertation Abstracts International 68 (02), 2006 | 305 | 2006 |
| 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 | 283 | 2012 |
| Decentralized privacy-preserving proximity tracing C Troncoso, M Payer, JP Hubaux, M Salathé, J Larus, E Bugnion, ... arXiv preprint arXiv:2005.12273, 2020 | 273 | 2020 |
| 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 | 203 | 2017 |
| 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 | 201 | 2012 |
| Security properties C Cremers, S Mauw Operational Semantics and Verification of Security Protocols, 37-65, 2012 | 184 | 2012 |
| On post-compromise security K Cohn-Gordon, C Cremers, L Garratt 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 164-178, 2016 | 165 | 2016 |
| 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 | 164* | 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 | 124 | 2018 |
| Model checking security protocols D Basin, C Cremers, C Meadows Handbook of Model Checking, 727-762, 2018 | 117 | 2018 |
| 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 | 116 | 2013 |
| 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 | 113 | 2016 |
| Key exchange in IPsec revisited: Formal analysis of IKEv1 and IKEv2 C Cremers European Symposium on Research in Computer Security, 315-334, 2011 | 104 | 2011 |
| Comparing state spaces in automatic security protocol analysis CJF Cremers, P Lafourcade, P Nadeau Formal to practical security, 70-94, 2009 | 102 | 2009 |
| Unbounded verification, falsification, and characterization of security protocols by pattern refinement CJF Cremers Proceedings of the 15th ACM conference on Computer and communications …, 2008 | 101 | 2008 |
| A framework for compositional verification of security protocols S Andova, C Cremers, K Gjøsteen, S Mauw, SF Mjølsnes, S Radomirović Information and Computation 206 (2-4), 425-459, 2008 | 98* | 2008 |
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
