| 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 | 872 | 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 | 339 | 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 | 123 | 2013 |
| Advancing automated security protocol verification S Meier ETH Zurich, 2013 | 58 | 2013 |
| Accuracy of cartilage-specific 3-Tesla 3D-DESS magnetic resonance imaging in the diagnosis of chondral lesions: comparison with knee arthroscopy S Kohl, S Meier, SS Ahmad, H Bonel, AK Exadaktylos, A Krismer, ... Journal of orthopaedic surgery and research 10, 1-7, 2015 | 51 | 2015 |
| 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 | 51 | 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 | 28 | 2013 |
| Tamarin prover D Basin, C Cremers, J Dreier, S Meier, R Sasse, B Schmidt línea]. Available: https://tamarinprover. github. io/.[Último acceso: 7 …, 2020 | 15 | 2020 |
| An in-depth view into the Tesla model S modulePart two: Module characterization and comparison to other state of the art EV battery systems M Kuipers, S Meier, F Hust, DU Sauer Kraftwerk Batterie 2017, 2017 | 14 | 2017 |
| The TAMARIN prover: source code and case studies S Meier, B Schmidt, C Cremers April, 2012 | 9 | 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 |
| Accuracy of Cartilage-specific 3-Tesla 3D-DESS Magnetic Resonance Imaging in the Diagnosis of Chondral Lesions: Comparison with Knee Arthroscopy S Meier Medizinische Fakultät der Universität Bern, 2016 | | 2016 |
| 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 | | |
