Eberhard Karls Universität Tübingen Wilhelm-Schickard-Institut für Informatik (WSI) Arbeitsbereich für Theoretische Informatik/Formale Sprachen

Impressum | Intern

Home | Studien- und Diplomarbeiten

Studien-/Diplomarbeiten

Die vom Arbeitsbereich Theoretische Informatik/Formale Sprachen angebotenen Themen für Studien- und Diplomarbeiten orientieren sich grob an den Forschungsinteressen der Mitarbeiter. Es sind prinzipiell auch Eigenvorschläge möglich.

Aktuelle Themenvorschläge:

Datum	Thema	Betreuer	Stud	Dipl
08. Dec 08	Phishing-Sicherheit via Bild-Passwörter Verbesserung der Sicherheit für Online Accounts	Borchert et al.
19. Nov 08	Implementierung der Linien-Permutations-TAN Ein neues Verfahren, das Manipulationen an Online Transaktionen verhindert	Borchert et al.
22. Sep 08	Handy-Programmierung für ein Verschlüsselungssystem Sammel-Ausschreibung für mehrere Studienarbeiten	Borchert et al.
22. Sep 08	What-you-see-is-what-you-sign für das Fotohandy-PIN Verfahren Buchstabenerkennung mit dem Fotohandy	Borchert et al.
12. Sep 08	Online Schlüssel-Übergabe für das Fotohandy-PIN Verfahren Handy-Programmierung	Borchert et al.
23. Aug 08	Das Foto-PIN Verfahren via Handy-Betriebssystem Handy-Programmierung für ein Verschlüsselungssystem	Borchert et al.
06. Jun 08	Kleine Schaltkreise für Produkte von Brahmagupta-Termen Minimale arithmetische Schaltkreise	Borchert
22. May 08	Datenbank-Back-End für ein trojanersicheres PIN/TAN-Verfahren mit dem Foto-Handy Datenbank-Back-End für ein Verschlüsselungssystem	Borchert et al.
19. Feb 08	Bilderkennung mit formalsprachlichen Methoden Programmierung eines Tools, zum Testen eines speziellen, vom Betreuer entwickelten Formalismus zur Bilderkennung.	Reinhardt
25. Jan 08	Marktanalyse: Verfahren für sicheres Online-Banking Warum entscheidet sich die eine Bank für dieses Verfahren, und die andere für jenes?	Borchert et al.
16. Jan 08	Sicherheitsanalyse der Permutations-TAN (pTAN) Wie groß ist die Sicherheitslücke beim pTAN Verfahren?	Borchert et al.
07. Nov 07	Arithmetische Schaltkreise und Faktorisierung Aus arithmetischen Schaltkreisen, die klein sind, aber viele verschiedene Nullstellen haben, würde sich ein schneller Faktorisierungsalgorithmus ergeben	Borchert et al.
07. Nov 07	Ein trojaner-sicheres Nachrichtensystem mit Visueller Kryptographie Implementierung eines sicheren Verschlüsselungssystems	Borchert et al.
16. Oct 07	Die Fälschungssicherheit der visuellen TAN (vTAN) Wie sicher ist die visuelle TAN gegenüber dem Klartext-Angriff?	Borchert et al.
13. Oct 07	Minimale Boolesche Schaltkreise Programmierung eines Tools, das zu einer gegebenen Booleschen Funktion einen minimal großen Schaltkreis findet	Borchert
04. Jul 07	Grafische Oberflaeche fuer Amore und algebraische Objekte	Behle et al.
12. Mar 07	Blattsprachen vs. Programme Das Blattsprachen-Konzept, das uniforme Komplexitätsklassen definiert, soll mit dem Programm-Konzept, das nicht-uniforme Komplexitätsklassen definiert, verglichen werden	Borchert
01. Dec 05	Statische Analyse von BPEL Geschäftsprozessen Analyse von Datenflußanhängigkeiten auf Basis von Petri Netz Modellen	Reinhardt
14. Nov 05	Java-Applets zur Bearbeitung von Temporal-Logik-Ausdrücken Temporal-Logik Ausdrücke sollen in äquivalente first-order oder reguläre Ausdrücke umgeformt werden, und umgekehrt.	Borchert
14. Nov 05	Knappheit der Darstellungsform Schaltwerk für reguläre Sprachen Es soll die Knappheit der Darstellung von regulären Sprachen via Schaltwerke verglichen werden mit der via alternierende endliche Automaten	Borchert et al.
04. Oct 05	Graph-Automaten mit geschachtelten Köpfen Wie weit reduziert die Schachtelung von Köpfen die Mächtigkeit von Mehrkopf-Graph-Automaten?	Borchert et al.
16. Sep 05	Verschiedene Themen Kryptologie, Petrinetze, Bildsprachen, Algorithmische Geometrie, Komplexitätstheorie und Formale Sprachen	Reinhardt
09. Aug 05	Zwei-dimensionale Temporale Logik Sind auch für 2-dimensionale Sprachen Temporal-Logik und first-order-Logik gleichmächtig?	Borchert
01. Jul 05	Eine Mehrheits-Operation auf Sprachen Welche Sprachen lassen sich aus einer bestimmten "Mehrheits"-Operation zusammen mit den Booleschen Operationen erzeugen?	Lange
23. Jun 05	Temporal-Logik versus 3-Variablen First-Order-Logik Es soll die durch die Schachtelungstiefe mit drei wiederbenutzbaren first-order Variablen definierte Hierarchie untersucht werden.	Borchert et al.
11. Jun 05	Third-order definierbare Sprachen Welche Sprachen sind in der Logik dritter Stufe definierbar?	Borchert
28. Apr 05	Die Delta-Klassen in AC0 Was sind die Delta-Klassen in der Hierarchie innerhalb von AC0?	Borchert

Vergebene/fertige Arbeiten

Datum	Thema	Name	Betreuer	Stud	Dipl	Status
12. Nov 08	Systematisches Erzeugen von Lösungen des PTE-Problems Programmierung eines zahlentheoretischen Problems	Natali Zimmermann	Reinhardt			Abgeschlossen
27. Aug 08	Implementierung der Cardano-TAN Ein trojanersicheres Online- und Mobile-Banking Verfahren	Sebastian Beschke	Borchert et al.			In Bearbeitung
22. Aug 08	Implementierung der visuellen TAN (vTAN) Implementierung eines trojaner-sicheren Online-Banking Verfahrens für Handys	Frank Hunszinger	Borchert et al.			In Bearbeitung
30. Apr 08	Viele verschiedene Primfaktoren mit wenigen Operationen	Dominik Reichl	Borchert et al.			Abgeschlossen
20. Apr 08	Demonstration der Visuellen Kryptographie	Alexander Christ	Borchert			Abgeschlossen
04. Apr 08	Erzeugt die Gleichung von Brahmagupta zufällig verteilte Zahlen?	Axel Gneiting	Borchert			In Bearbeitung
24. Jan 08	Arithmetische Schaltkreise: möglichst viele ganzzahlige Nullstellen unter Verwendung möglichst weniger Multiplikationen	Michael Stocker	Borchert et al.			In Bearbeitung
22. Jan 08	Trojaner-sichere PIN-Eingabe via Foto-Handy (Handy-Programmierung)	Thomas Flamm	Borchert et al.			In Bearbeitung
22. Jan 08	Trojaner-sichere PIN-Eingabe via Foto-Handy (Server/Client-Programmierung)	Tobias Hirscher	Borchert et al.			In Bearbeitung
05. Dec 07	Cardano-Verschlüsselung in der Karte-auf-Bildschirm Version	Maria Jotova	Borchert et al.			In Bearbeitung
13. Nov 07	Sichere Verfahren gegen das Ablauschen des Passworts bei Online Accounts	Zohreh Pourhassan	Borchert			In Bearbeitung
12. Nov 07	Kryptologische Analyse eines Verfahrens zur abhörsicheren Eingabe der PIN	Friederike Sobe	Borchert et al.			In Bearbeitung
31. Oct 07	Verbesserungen an einem Programmframework	Tobias Keckeisen	Behle et al.			In Bearbeitung
30. Oct 07	Grafische Darstellung von Monoiden	Johannes Furch	Behle et al.			Abgeschlossen
17. Sep 07	Formularauswertung	Stefan Laible	Behle et al.			Abgeschlossen
04. Sep 07	Sichere Verfahren für Online-Banking	Jan Vitense	Borchert et al.			In Bearbeitung
08. Aug 07	Syntactic Varieties	Björn Appel	Reifferscheid et al.			Abgeschlossen
04. Jul 07	Grafische Darstellung von endlichen Automaten	Joachim Schiele	Behle et al.			In Bearbeitung
19. Mar 07	Erstellung eines Td-Rechners	Stephan Storch	Krebs et al.			Abgeschlossen
30. Oct 06	Java Applet Syntaktische Monoide	Mirko Treutlein	Borchert et al.			Abgeschlossen
15. Sep 06	Ein Java-Applet zur Visualisierung des Advanced Encryption Standard (AES)	Andreas Lehrmann	Reinhardt			Abgeschlossen
19. Apr 06	FO[<]-Uniformität	Christoph Behle	Lange			Abgeschlossen
10. Apr 06	Ein Java-Applet zur Umwandlung von Typ-3-Grammatiken und endlichen Automaten	Julia Veit	Borchert			Abgeschlossen

Die Themengebiete

Komplexitätstheorie und formale Sprachen
vgl. dazu u.a. entsprechende Vorlesung und Skripte.
Ansprechpartner: Klaus-Jörn Lange

Kryptologie, Petrinetze, Bildsprachen
vgl. dazu u.a. entsprechende Vorlesung und Skripte.
Ansprechpartner: Klaus Reinhardt

Formale Sprachen und Lernalgorithmen
vgl. dazu entsprechende Vorlesung und Skripte.
Ansprechpartner: Henning Fernau

Festparameteralgorithmen
Ansprechpartner: Henning Fernau

Komplexitätstheorie und Formale Sprachen
vgl. dazu u.a. entsprechende Vorlesung und Skripte.
Ansprechpartner: Bernd Borchert