| |
| 2008 | ||
|---|---|---|
| 2 | EE | Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi: Open Implication. ICALP (2) 2008: 361-372 |
| 1 | EE | Ronald Toegl, Georg Hofferek, Karin Greimel, Adrian Leung, Raphael Chung-Wei Phan, Roderick Bloem: Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. ICYCS 2008: 2289-2294 |
| 1 | Roderick Bloem | [1] [2] |
| 2 | Georg Hofferek | [1] |
| 3 | Barbara Jobstmann | [2] |
| 4 | Adrian Leung | [1] |
| 5 | Raphael Chung-Wei Phan (Raphael C.-W. Phan) | [1] |
| 6 | Ronald Toegl | [1] |
| 7 | Moshe Y. Vardi | [2] |