Conference Papers
Mario Strasser and Heiko Stamer.
A Software-Based Trusted Platform Module Emulator.
Proceedings of the
First International Conference on Trusted Computing and Trust
in Information Technologies (TRUST 2008),
Lecture Notes in Computer Science 4968, pp. 33-47, 2008.
© Springer-Verlag Berlin Heidelberg 2008
SpringerLink
Heiko Stamer and Friedrich Otto.
Restarting Tree Automata and Linear Context-Free Tree Languages.
Proceedings of the
Second International Conference on Algebraic Informatics,
Revised Selected and Invited Papers (CAI 2007),
Lecture Notes in Computer Science 4728, pp. 275-289, 2007.
© Springer-Verlag Berlin Heidelberg 2007
SpringerLink
Heiko Stamer and Friedrich Otto.
Restarting Tree Automata.
Proceedings of the
33rd International
Conference on Current Trends in Theory and Practice of Computer
Science (SOFSEM 2007),
Lecture Notes in Computer Science 4362, pp. 510-521, 2007.
© Springer-Verlag Berlin Heidelberg 2007
SpringerLink
Heiko Stamer.
Completion Attacks and Weak Keys of Oleshchuk's Public Key
Cryptosystem.
Proceedings of the
6th International
Conference on Cryptology in India (INDOCRYPT 2005),
Lecture Notes in Computer Science 3797, pp. 209-220, 2005.
© Springer-Verlag Berlin Heidelberg 2005
SpringerLink
37970209.pdf
(Errata)
Workshop Papers
Heiko Stamer.
Verifikation von Ping-Pong Protokollen in Zeit O(n^2).
(in German)
Proceedings of the
3. Jahrestagung Fachbereich Sicherheit der Gesellschaft
für Informatik (Workshop "Kryptographie in Theorie
und Praxis"),
Lecture Notes in Informatics P-77, pp. 283-293, 2006.
© Gesellschaft für Informatik e.V.
SICHERHEIT2006.pdf
Heiko Stamer.
Efficient Electronic Gambling: An Extended Implementation of the
Toolbox for Mental Card Games.
Proceedings of the
Western
European Workshop on Research in Cryptology (WEWoRC 2005),
Lecture Notes in Informatics P-74, pp. 1-12, 2005.
© Gesellschaft für Informatik e.V.
WEWoRC2005_proc.pdf
Technical Reports, Preprints, Notes (non-refereed)
Heiko Stamer.
Bibliography on Mental Poker.
Version 1.5, 2007.
MentalPoker.pdf,
MentalPoker.bib (BibTeX)
Heiko Stamer.
Kryptographische Missbrauchssicherungen für die
Vorratsdatenspeicherung (in German).
7.
Krypto-Tag, b-it Bonn, November 2007.
Tagungsband
Friedrich Otto, Heiko Stamer.
Eingeschränkte Restart-Baumautomaten.
17.
Theorietag "Automaten und Formale Sprachen",
Universität Leipzig, September 2007.
Heiko Stamer, Friedrich Otto.
Restarting Tree Automata.
16.
Theorietag "Automaten und Formale Sprachen",
Technische Universität Wien, September 2006.
Heiko Stamer.
Implementing Direct Anonymous Attestation for the TPM Emulator
Project.
4. Krypto-Tag,
Ruhr Universität Bochum, 2006.
NDS-1/06
Heiko Stamer.
Verifizierbares geheimes Mischen (in German).
3. Krypto-Tag,
Technische Universität Darmstadt, 2005.
TI-1/05
Heiko Stamer.
Mental Poker in practice: An extended implementation of Schindelhauer's
Toolbox for Mental Card Games.
2. Krypto-Tag,
Universität Ulm, 2005.
TR 2005-02
Heiko Stamer.
Oleshchuk's Public Key Cryptosystem (in German).
1.
Krypto-Tag, Universität Mannheim, 2004.
TR 2004-10
Hartmut Messerschmidt, Heiko Stamer.
Restart-Automaten mit mehreren Restart-Zuständen (in German).
14.
Theorietag "Automaten und Formale Sprachen", Caputh (bei Potsdam), 2004.
Heiko Stamer, Friedrich Otto.
On Oleshchuk's Public Key Cryptosystem.
Cryptology ePrint
Archive: Report 2004/220.
Software
Convert a given context-free grammar in Chomsky normal form (CNF)
to Greibach normal form (GNF), 2006
Chomsky2Greibach.py
Solving quadratic word equations, 2006
QuadraticWordEquationSolver.cc
Examples:
abxcy = ycxba (dot),
abxcy = ycxba (eps),
zabbz = aabxaxabbyaby (dot),
zabbz = aabxaxabbyaby (eps).
Oleshchuk's Public Key Cryptosystem and Completion Attack, 2005
OlkPK2.tar.gz
