| |
| 2007 | ||
|---|---|---|
| 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] |