 | 2009 |
|---|
| 7 |       | Friedrich Otto,
Heiko Stamer:
Single-Path Restarting Tree Automata.
CAI 2009: 324-341 |
| 2008 |
|---|
| 6 | | Mario Strasser,
Heiko Stamer:
A Software-Based Trusted Platform Module Emulator.
TRUST 2008: 33-47 |
| 2007 |
|---|
| 5 | | Heiko Stamer,
Friedrich Otto:
Restarting Tree Automata and Linear Context-Free Tree Languages.
CAI 2007: 275-289 |
| 4 | | 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 | | 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 |
