Skip to main content
Skip to navigation
Skip to toolbar

ETH E-Collection · ETH Institutional Repository

Swiss Federal Institute of Technology Zurich

Navigation

  • Home
  • Search
  • Browse
  • Publish
  • FAQs
  • Contact
  • About E-Collection

Toolbar

English | Deutsch

You are not logged in. Login?

Browse by Author

Authors (A-Z) Meier, Simon

3 Results for Meier, Simon

Subscribe to RSS feed for this result set

1. Experimentelle Untersuchung des statischen und dynamischen Verhaltens des Simultan-Strecktexturierprozesses bei Drallerteilung mit Friktionsdrallgebern

Meier, Simon (1986)


Doctoral and Habilitation Theses

2. Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication

Basin, David A., Cremers, Cas and Meier, Simon (2012)


Reports

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

Meier, Simon, Cremers, Cas and Basin, David A. (2010)


Reports




© 2008 ETH Zurich · Maintained by ETH-Bibliothek · Disclaimer · Impressum · Conditions of use · V1.1.0 powered by Fez Software · Contact us