Simon Meier
Simon Meier
Director of Engineering, Digital Asset
Bestätigte E-Mail-Adresse bei digitalasset.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The TAMARIN prover for the symbolic analysis of security protocols
S Meier, B Schmidt, C Cremers, D Basin
International Conference on Computer Aided Verification, 696-701, 2013
3592013
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
2152012
Provably repairing the ISO/IEC 9798 standard for entity authentication 1
D Basin, C Cremers, S Meier
Journal of Computer Security 21 (6), 817-846, 2013
1002013
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
382010
Advancing automated security protocol verification
S Meier
ETH Zurich, 2013
302013
Efficient construction of machine-checked symbolic protocol security proofs
S Meier, C Cremers, D Basin
Journal of Computer Security 21 (1), 41-87, 2013
222013
The TAMARIN prover: source code and case studies
S Meier, B Schmidt, C Cremers
April, 2012
62012
A formalization of an operational semantics of security protocols
S Meier
Diploma thesis, ETH Zurich, 2007
52007
Basin.‘
S Meier, CJF Cremers, A David
Strong Invariants for the Efficient Construction of Machine-Checked Protocol …, 2010
12010
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–11