Follow
Simon Meier
Simon Meier
Principal Architect, Digital Asset
Verified email at digitalasset.com - Homepage
Title
Cited by
Cited by
Year
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
8952013
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
3412012
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
1232013
Advancing automated security protocol verification
S Meier
ETH Zurich, 2013
612013
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
512015
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
512010
Efficient construction of machine-checked symbolic protocol security proofs
S Meier, C Cremers, D Basin
Journal of Computer Security 21 (1), 41-87, 2013
282013
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
172020
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
152017
The TAMARIN prover: source code and case studies
S Meier, B Schmidt, C Cremers
April, 2012
92012
A formalization of an operational semantics of security protocols
S Meier
Diploma thesis, ETH Zurich, 2007
52007
basic
MA Meier, C Brandes
12010
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
The system can't perform the operation now. Try again later.
Articles 1–15