Vorträge (bis Dezember 2003)

Einführung in die eMail-Verschlüsselung
Vortrag Netdays99, Moritz-Bastei RT (14. 11. 1999)

Laufzeitverschlüsselung mit PPDD
Vortrag Linux-Workshop, Max-Planck-Institut (24. 06. 2000)
*BSD vs. LINUX
Vortrag GAOS e.V., Max-Planck-Institut (10. 10. 2000)
Neuigkeiten zum PCP (Johannes Waldmann, Heiko Stamer)
Theorie-Seminar IfI, Universität Leipzig (07. 11. 2000)

Ant Algorithmen für kombinatorische Optimierungsprobleme
Fach-Seminar IfI, Universität Leipzig (08. 01. 2001)
Robotersteuerung mit genetischer Programmierung
Fach-Seminar IfI, Universität Leipzig (23. 04. 2001)
Dreibeinige PCP-Biber
11. Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen", Wendgräben bei Magdeburg (05. 10. 2001)
LaTeX im wissenschaftlichen Alltag (Frank-Michael Schleif, Heiko Stamer)
Vortrag GAOS e.V., Moritz-Bastei RT (09. 10. 2001)

Laufzeitverschlüsselung mit Linux
Linux-Tag der Max-Planck-Institute, Leipzig (28. 02. 2002)
LV_slides.pdf
LaTeX im wissenschaftlichen Alltag v2.0 (Frank-Michael Schleif, Heiko Stamer)
Fachgruppe Informatik, FH Telekom Leipzig (22. 10. 2002)
Sicheres Skatspielen im Netzwerk -- eine kryptographische Skatrunde
Vortrag GAOS e.V., Moritz-Bastei RT (12. 11. 2002)

Zero-Knowledge-Beweise - Theorie und Anwendung
Theorie-Seminar IfI, Universität Leipzig (24. 06. 2003)
ZNP-Folien.pdf
Sicherheit durch den GNU Privacy Guard
2. Leipziger Linux Workshop, FH Telekom Leipzig (15. 11. 2003)
ZLLW_GPG.pdf

Vom 1.1.2004 bis 31.12.2008 war ich an der Universität Kassel im Fachbereich 17 (Mathematik/Informatik) bzw. 16 (Elektrotechnik/Informatik) beschäftigt.
siehe http://www.theory.informatik.uni-kassel.de/~stamer/talks.html

Verschiedene Schriften (bis Dezember 2003)

San Saru - Die weisen drei Affen
SanSaru.pdf (rev. 2001)
Robotersteuerung mit genetischer Programmierung (Udo Stenzel, Heiko Stamer)
Robotik Praktikum IfI, Universität Leipzig
RSmGP.pdf (rev. 2000), Quelltexte
Ant Algorithmen für kombinatorische Optimierungsprobleme
Fach-Seminar IfI, Universität Leipzig
AAfkO.pdf (rev. 2001)
Busy Beaver PCPs (Mario Schmidt, Heiko Stamer, Johannes Waldmann)
5th International Workshop on Termination, Utrecht (21. 5. 2001)
Spielen Ameisen Connections?
Beitrag zum Programmierwettbewerb Connections, Universität Leipzig, 2001
SAC.pdf
Recruiting Ant Colony System (RACS) - Extending the ACS by a group recruitment strategy
RACS.pdf (rev. 2006), RecruitingAntColonySystemTSP.cc
Dreibeinige PCP-Biber (Mario Schmidt, Heiko Stamer, Johannes Waldmann)
Proceedings 11. Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen", Technical Report Nr. 18, Fakultät für Informatik der Otto-von-Guericke-Universität Magdeburg, 2001
tt2001.pdf
Dining Cryptographers Networks - Praktikable Werkzeuge zur Wahrung der Anonymität?
Diplomarbeit, Institut für Informatik, Universität Leipzig, 2003
DCN.pdf
Vom 1.1.2004 bis 31.12.2008 war ich an der Universität Kassel im Fachbereich 17 (Mathematik/Informatik) bzw. 16 (Elektrotechnik/Informatik) beschäftigt.
siehe http://www.theory.informatik.uni-kassel.de/~stamer/research.html

Projekte

Software-based TPM Emulator (Implementierung der DAA-Protokolle)
LibTMCG (C++ Bibliothek für sichere elektronische Kartenspiele)
SecureSkat (Programm zum sicheren Skatspielen via IRC)
- 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.
  Artikel (PDF) (englisch, © Gesellschaft für Informatik e.V.)
- Heiko Stamer. Kryptographische Skatrunde. Offene Systeme, Ausgabe 4, pp. 10--30, 2004, ISSN 1619-0114.
  Artikel (PDF, Revision 2005) (deutsch)
- Heiko Stamer. Mental Poker in practice. 2. Krypto-Tag der Gesellschaft für Informatik e.V. - Fachgruppe KRYPTO, 2005.
  Vortragsfolien (PDF) (englisch)
- Heiko Stamer. Elektronische Kartenspiele. MetaRheinMain ChaosDays 11b, September 2005
  Vortragsfolien (PDF) (deutsch)
OpenSkat (veraltet; enthält graphische Spieloberfläche openSkat_gui)
- openSkat-2.4.tar.gz (Release 2.4), openSkat-2.4.tar.gz.sig (OpenPGP Signatur)
Post'sches Korrespondenzproblem
- PCP@HOME - Helfen Sie uns schwierige PCPs zu finden
- PCP-Puzzle 0.0.1 PcpPuzzle.java, TODO
  Beispiele: leicht, mittel, schwer
- PcpSieve PcpSieve0.05.tar.gz (stable), PcpSieve0.08.tar.gz (unstable)
  
  Neben der Suche nach schwierigen PCP-Instanzen, kann das Programm auch einzelne Lösungsgraphen generieren. Sie dienen der Veranschaulichung und können mit dot / neato visualisiert werden. Beispiel: BBexam01.dot, BBexam01.eps
Ant Colony Optimization (Implementierung der Ameisenalgorithmen: AS, ACS, RAS, RACS)
- Ant System (AS, ant-cycle) für TSP AntSystemTSP.cc (C++ Quelltext)
- Ant Colony System (ACS) für TSP AntColonySystemTSP.cc (C++ Quelltext)
- Recruiting Ant System (RAS) für TSP RecruitingAntSystemTSP.cc (C++ Quelltext)
- Recruiting Ant Colony System (RACS) für TSP RecruitingAntColonySystemTSP.cc (C++ Quelltext)
Mersenne Twister (PRNG mit Periode 2¹⁹⁹³⁷-1)
- C-Modul für Python (auf Basis von Nishimura's Version) MT19937module.c, MT19937test.py
GIMP Script-Fu
- Beveled pattern button mit fixierter Breite (Web Page Themes)
  beveled-pattern-fixedbutton.scm (GIMP 1.2), beveled-pattern-fixedbutton2.scm (GIMP 2.0)
Connections (Wettbewerb des IfI zu einem kombinatorischen Spiel) Connect-0.3.tar.gz, TODO

Phutball (Wettbewerb des IfI zu einem kombinatorischen Spiel) GnuPhutball (via CVS)

		cvs -d :pserver:anonymous@gaos.org:/var/cvs login
		cvs -d :pserver:anonymous@gaos.org:/var/cvs co GnuPhutball

Python
- Probalistische Primzahltests probprim-0.0.3.py
- Huffman Kodierung huffman-0.04.py
- Ant System (AS, ant-cycle) für TSP AntSystemTSP.py
- Hopfield Netz hopfield-0.01.py
- Programm das seinen eigenen Quelltext ausgibt PrintSelf.py
- Polynom-Arithmetik (z.Z. nur Addition, Multiplikation, XOR) poly.py, testpoly.py
- Berlekamp-Massey Algorithmus berlekamp-massey.py (braucht poly.py) zur Bestimmung der linearen Komplexität einer Binärsequenz. Diese Größe spielt u.A. in der Kryptographie bei der Analyse von LFSR-basierten Stromchiffren eine Rolle. Nebenbei generiert der Algorithmus auch das Polynom für ein minimales LFSR, welches die Eingabesequenz wieder ausgibt.
IRC
- Gateway vom IRC Protokoll zu verschiedenen WebChats IRC2WEB-0.4.tar.gz, CHANGELOG
- SputnikChat (kleiner JAVA-basierter IRC-Client) SputnikChat.java, Beispiel-Chat
Gesellschaft für die Anwendung offener Systeme (GAOS e.V.)
- GaosChat (kleiner JAVA-basierter IRC-Client) GaosChat.java (via CVS)
- GaosJournal (freie L^AT_EX-Dokumentklasse für freie Zeitschriften) gaosjournal.cls (via CVS)
  Beispielzeitschriften:
  - GAOTenBlatt (ISSN: 1619-0114) GJ-2-2001, GJ-1-2002, GJ-1-2003
  - Offene Systeme (ISSN: 1619-0114) OS-4-2004
Linux User Group - Leipzig
- Amoeba Cluster Projekt (Kai Uwe Tempel, Frank-Michael Schleif, Kay Prüfer, Heiko Stamer)

Forschung

Kryptographie
- Verifikation kryptographischer Protokolle
  - Dolev-Yao Modell: speziell Ersetzungs- und Reduktionstechniken
- Anonymität und Pseudonymität
  - Dining Cryptographers Netzwerke
  - Verifizierbare Mix Netzwerke
- Sichere Mehrparteienberechnung und Zero-Knowledge Beweise
  - Anwendungen und effiziente Implementierung
- "Trusted Computing" (Und was bitte heißt Trusted Computing?)
  - Direct Anonymous Attestation (DAA)
  - Anwendungen, Open Source Software
Informatik
- Genetische Algorithmen, Ameisenalgorithmen, kombinatorische Optimierungsprobleme
- Post'sches Korrespondenzproblem, unentscheidbare Probleme
- Geoinformations- und Datenbanksysteme im Bergbau
Robotik
- Autonome Roboter, effiziente Nutzung der Energieressourcen
- Einsatz von Robotern im Bergbau bzw. bei der montanen Lagerstättenerkundung