| |
other persons with the same name:
| 2008 | ||
|---|---|---|
| 4 | EE | Simon Kramer: Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography. J. Log. Algebr. Program. 77(1-2): 60-91 (2008) |
| 2007 | ||
| 3 | EE | Simon Kramer: Logical concepts in cryptography. SIGACT News 38(4): 65-66 (2007) |
| 2006 | ||
| 2 | EE | Johannes Borgström, Olga Grinchtein, Simon Kramer: Timed Calculus of Cryptographic Communication. Formal Aspects in Security and Trust 2006: 16-30 |
| 2000 | ||
| 1 | EE | Heiko Ludwig, Luke O'Connor, Simon Kramer: MIERA: Method for Inter-Enterprise Role-Based Authorization. EC-Web 2000: 133-144 |
| 1 | Johannes Borgström | [2] |
| 2 | Olga Grinchtein | [2] |
| 3 | Heiko Ludwig | [1] |
| 4 | Luke O'Connor | [1] |