Heiko Stamer

According to our database, Heiko Stamer authored at least 9 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

Restarting tree automata: formal properties and possible variations.

Heiko Stamer

PhD thesis, 2009

Single-Path Restarting Tree Automata.

Friedrich Otto, Heiko Stamer

Proceedings of the Algebraic Informatics, Third International Conference, 2009

2008

A Software-Based Trusted Platform Module Emulator.

Mario Strasser, Heiko Stamer

Proceedings of the Trusted Computing, 2008

2007

Restarting Tree Automata.

Heiko Stamer, Friedrich Otto

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Restarting Tree Automata and Linear Context-Free Tree Languages.

Heiko Stamer, Friedrich Otto

Proceedings of the Algebraic Informatics, Second International Conference, 2007

2006

Verifikation von Ping-Pong Protokollen in Zeit <i>O</i>(<i>n</i>²).

Heiko Stamer

Proceedings of the Sicherheit 2006: Sicherheit, 2006

2005

Efficient Electronic Gambling: An Extended Implementation of the Toolbox for Mental Card Games.

Heiko Stamer

Proceedings of the WEWoRC 2005, 2005

Completion Attacks and Weak Keys of Oleshchuk's Public Key Cryptosystem.

Heiko Stamer

Proceedings of the Progress in Cryptology, 2005

2004

On Oleshchuk's Public Key Cryptosystem.

Heiko Stamer, Friedrich Otto

IACR Cryptol. ePrint Arch., 2004