Theoretical Computer Science and New Applications

Prof. Dr. sc. Christoph Meinel

Diplomarbeiten / Diploma theses

• Themengebiet: Visualisierung
  • Visualisierung der Internet-Technologien
  • Visualisierung von Kryptographiealgorithmen - wahlweise von DES, AES, RSA
  • Visualisierung von Netzwerk-Sicherheit - Wirkungsweise von Firewalls, Lock-keeper usw.
  • ...

• Themengebiet: Effiziente Suche in Internet
  • Neue Suchstrategien für XML - RDF - Dokumente
  • Wirkungsweise von Internet-Suchmaschinen
  • Document rating - Agent zur Ermittlung / Bewertung von Web-Dokumentreferenzen
  • Personalisierung von Internet-Suchergebnissen
  • ...

• Themengebiet: IT-Sicherheit
  • Formale Verifikation von Sicherheitsprotokollen
  • Klassifizierung von Sicherheitszielen
  • Intrusion Detection
  • CERT - Knowledge - Base
  • ...

• Themengebiet: OBDDs
  • Middle-Tier zwischen BDD-Paket und Verifikation-Anwendung
  • Neue Transformationskonzepte für OBDDs
  • Implementierung des deterministischen Minimisierungsalgorithmen für POBDD
  • Bilddarstellung- und Komprimierung mit BDDs
  • ...