Bienvenido, donde el diablo perdió el poncho! Estación Imilac, Sierra Almeida, Chile

Vorträge Publikationen Projekte Forschung Betriebssysteme, Hardware, Statistiken

Disclaimer: Das Europäische Parlament hat am 14. Dezember 2005 die Abschaffung der Bürgerrechte in allen Mitgliedsstaaten beschlossen. Am 9. November 2007 hat der 16. Deutsche Bundestag das entsprechende Umsetzungsgesetz mit dem verharmlosenden Namen "Gesetz zur Neuregelung der Telekommunikationsüberwachung und anderer verdeckter Ermittlungsmaßnahmen sowie zur Umsetzung der Richtlinie 2006/24/EG" verabschiedet. Ich distanziere mich hiermit ausdrücklich von der Politik der Europäischen Union und ihrer Umsetzung durch die Mitgliedsstaaten. Berücksichtigen Sie beim Besuch dieser und der hier verlinkten Seiten bitte, dass Ihnen Ihr Interesse daran anhand der gespeicherten Verbindungsdaten (ab 2009) jederzeit nachgewiesen und als Unterstützung des internationalen Terrorismus ausgelegt werden kann und wird.

Vorträge

Publikationen

• 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
• Seit 1.1.2004 arbeite ich an der Universität Kassel im Fachbereich 17 (Mathematik/Informatik).
  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 (privat)

• 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

Betriebssysteme, Hardware, Statistiken

•  
• AMD^® Duron^TM 1300, 768 MB DDR-333, 330 GB HD

  • lej05: Debian GNU/Linux 3.1, linux-2.4.31, gcc 3.3.5

  • lej05: Debian GNU/Linux 3.1, linux-2.6.16.18, gcc 3.3.5

• Cyrix^® MII^TM PR333, 320 MB SDRAM-PC100, 30 GB HD

  • lej04: FreeBSD 5.0, gcc 3.2

  • lej02: Debian GNU/Linux 2.2, linux-2.2.19, gcc 2.95.2

  • lej02: Debian GNU/Linux 3.0, linux-2.4.20, gcc 2.95.4

  • amoeba: Fireball Amoeba 5.4

• 2x Intel^® Pentium 166 (SMP), 64 MB DRAM-EDO, 6 GB HD

  • www: FreeBSD 4.0, gcc 2.95.2

• SHARP^® Zaurus SL-C860, Intel^® Xscale^TM PXA255, 64 MB SDRAM, 128 MB Flash,
  256 MB CF, 1GB SD, D-Link DCF-660W, billionton CF GPS, I-O Data CFXGA

  • zaurus: SHARP ROM 1.40 JP, linux-2.4.18-rmk7-pxa3-embedix, zgcc 2.95.2