Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

4 Results for "Meier, Simon"

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. Advancing automated security protocol verification

Meier, Simon (2013)

Doctoral and Habilitation Theses

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

Meier, Simon (1986)

Doctoral and Habilitation Theses

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

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

Reports Reports

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

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

Reports Reports