| The TAMARIN prover for the symbolic analysis of security protocols S Meier, B Schmidt, C Cremers, D Basin Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 743 | 2013 |
| 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 | 311 | 2012 |
| 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 | 119 | 2013 |
| Advancing automated security protocol verification S Meier ETH Zurich, 2013 | 53 | 2013 |
| Strong invariants for the efficient construction of machine-checked protocol security proofs S Meier, C Cremers, D Basin 2010 23rd IEEE Computer Security Foundations Symposium, 231-245, 2010 | 47 | 2010 |
| Efficient construction of machine-checked symbolic protocol security proofs S Meier, C Cremers, D Basin Journal of Computer Security 21 (1), 41-87, 2013 | 26 | 2013 |
| The TAMARIN prover: source code and case studies S Meier, B Schmidt, C Cremers April, 2012 | 8 | 2012 |
| A formalization of an operational semantics of security protocols S Meier Diploma thesis, ETH Zurich, 2007 | 5 | 2007 |
| basic MA Meier, C Brandes | 1 | 2010 |
| Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties (Extended Version 1, April 24th, 2012) B Schmidt, S Meier, C Cremers, D Basin | | |
| Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties (Draft Version, February 10, 2012) B Schmidt, S Meier, C Cremers, D Basin | | |
