| |
| * | 2009 | |
|---|---|---|
| 7 | EE | Friedrich Otto, Heiko Stamer: Single-Path Restarting Tree Automata. CAI 2009: 324-341 |
| 2008 | ||
| 6 | EE | Mario Strasser, Heiko Stamer: A Software-Based Trusted Platform Module Emulator. TRUST 2008: 33-47 |
| 2007 | ||
| 5 | EE | Heiko Stamer, Friedrich Otto: Restarting Tree Automata and Linear Context-Free Tree Languages. CAI 2007: 275-289 |
| 4 | EE | Heiko Stamer, Friedrich Otto: Restarting Tree Automata. SOFSEM (1) 2007: 510-521 |
| 2006 | ||
| 3 | Heiko Stamer: Verifikation von Ping-Pong Protokollen in Zeit O(n2). Sicherheit 2006: 283-293 | |
| 2005 | ||
| 2 | EE | Heiko Stamer: Completion Attacks and Weak Keys of Oleshchuk's Public Key Cryptosystem. INDOCRYPT 2005: 209-220 |
| 1 | Heiko Stamer: Efficient Electronic Gambling: An Extended Implementation of the Toolbox for Mental Card Games. WEWoRC 2005: 1-12 | |
| 1 | Friedrich Otto | [4] [5] [7] |
| 2 | Mario Strasser | [6] |