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 | 894 | 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 | 341 | 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 | 61 | 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 | 17 | 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 | 15 | 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 | | |