Concepedia

Simon Meier-Vieracker

SM

7

Publications

349

Citations

7

H-Index

2010

Active since

Affiliations

ETH Zurich(Current)

Technische Universität Dresden

Simon Meier-Vieracker is an author at ETH Zurich specializing in engineering, data security, and formal verification.

Top concepts

EngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceFormal VerificationInformation SecurityLanguageLinguistics

Publications per year

2010–2023

7

Publications

7

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties

Benedikt Schmidt, Simon Meier-Vieracker, Cas Cremers et al. · 2012 · 215 citations

Hardware Security, Advanced Security Properties, Naxos Protocol +15

Provably repairing the ISO/IEC 9798 standard for entity authentication1

David Basin, Cas Cremers, Simon Meier-Vieracker · Journal of Computer Security · 2013 · 50 citations

Software Maintenance, Entity Authentication1, Engineering +21

Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs

Simon Meier-Vieracker, Cas Cremers, David Basin · 2010 · 27 citations · Full text

Cryptographic Primitive, Engineering, Strong Invariants +23

Wutreden – Konstruktion einer Gattung in den digitalen Medien

Simon Meier-Vieracker · Zeitschrift für Germanistische Linguistik · 2016 · 18 citations · Full text

Emerging Media, Communication, Corpus Linguistics +26

Efficient construction of machine-checked symbolic protocol security proofs

Simon Meier-Vieracker, Cas Cremers, David Basin · Journal of Computer Security · 2013 · 16 citations

Rows per page

1–5 of 7