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.

Sortier-/Filterkritierien

Aktuelle Themenvorschläge:

Datum Thema Projekt Betreuer Stud Dipl
07. Jul 09 Das Foto-PIN Verfahren fuer Symbian Handys
Handy-Programmierung für ein Verschlüsselungssystem 		Borchert et al. [SA]  
06. Jul 09 Trojanersichere Fenster: Implementierung mittels Video-Grabber
Implementierung eines Verfahrens und eines Geräts für abhörsichere Online Accounts 		Borchert et al. [SA] [DA]
12. Jan 09 What-you-see-is-what-you-confirm
Buchstabenerkennung via Fotohandy für sicheres Online Banking 		Borchert et al. [SA]  
11. Dec 08 Trojanersicherer Rechnerfernzugang (telnet, putty, ssh)
Schutz gegen Identitäts-Diebstahl bei Rechnerfernzugang 		Borchert et al. [SA]  
08. Dec 08 Arithmetische Schaltkreise mit vielen Gaußschen Nullstellen
Komplexe ganzahlige Nullstellen 		Borchert et al. [SA] [DA]
12. Sep 08 Online Schlüssel-Übergabe für das Fotohandy-PIN Verfahren
Handy-Programmierung 		Borchert et al. [SA]  
06. Jun 08 Kleine Schaltkreise für Produkte von Brahmagupta-Termen
Minimale arithmetische Schaltkreise 		Borchert [SA]  
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. [SA]  
19. Feb 08 Bilderkennung mit formalsprachlichen Methoden
Programmierung eines Tools, zum Testen eines speziellen, vom Betreuer entwickelten Formalismus zur Bilderkennung. 		Reinhardt [SA] [DA]
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.   [DA]
13. Oct 07 Minimale Boolesche Schaltkreise
Programmierung eines Tools, das zu einer gegebenen Booleschen Funktion einen minimal großen Schaltkreis findet 		Borchert [SA]  
04. Jul 07 Grafische Oberflaeche fuer Amore und algebraische Objekte Behle et al. [SA] [DA]
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   [DA]
01. Dec 05 Statische Analyse von BPEL Geschäftsprozessen
Analyse von Datenflußanhängigkeiten auf Basis von Petri Netz Modellen 		Reinhardt   [DA]
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.   [DA]
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.   [DA]
16. Sep 05 Verschiedene Themen
Kryptologie, Petrinetze, Bildsprachen, Algorithmische Geometrie, Komplexitätstheorie und Formale Sprachen 		Reinhardt [SA] [DA]
09. Aug 05 Zwei-dimensionale Temporale Logik
Sind auch für 2-dimensionale Sprachen Temporal-Logik und first-order-Logik gleichmächtig? 		Borchert   [DA]
01. Jul 05 Eine Mehrheits-Operation auf Sprachen
Welche Sprachen lassen sich aus einer bestimmten "Mehrheits"-Operation zusammen mit den Booleschen Operationen erzeugen? 		Lange   [DA]
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.   [DA]
11. Jun 05 Third-order definierbare Sprachen
Welche Sprachen sind in der Logik dritter Stufe definierbar? 		Borchert   [DA]
28. Apr 05 Die Delta-Klassen in AC0
Was sind die Delta-Klassen in der Hierarchie innerhalb von AC0? 		Borchert   [DA]

Vergebene/fertige Arbeiten

Datum Thema Name Projekt Betreuer Stud Dipl Status
30. Jun 09 Das Fotohandy-PIN Verfahren für das iPhone
Programmierung für das iPhone 		TrojanerSicherheit Borchert [SA]   In Bearbeitung
20. May 09 Implementierung der Linien-TAN fuer geknicktes Papier
Ein neues Knick-und-Klick-Verfahren fuer Online Banking 		TrojanerSicherheit Borchert et al. [SA]   In Bearbeitung
31. Mar 09 Das Fotohandy-PIN Verfahren für die Google/Android Handys
Programmierung für das Handy-Betriebssystem von Google 		TrojanerSicherheit Borchert [SA]   In Bearbeitung
25. Mar 09 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.   [DA] In Bearbeitung
10. Feb 09 Sicherheitsanalyse der indirekten iTAN (iiTAN)
Ein neues Verfahren, das Manipulationen an Online Transaktionen verhindert 		TrojanerSicherheit Borchert et al. [SA]   In Bearbeitung
10. Dec 08 Phishing-Sicherheit via Bild-Passwörter
Verbesserung der Sicherheit für Online Accounts 		TrojanerSicherheit Borchert et al. [SA]   In Bearbeitung
12. Nov 08 Systematisches Erzeugen von Lösungen des PTE-Problems
Programmierung eines zahlentheoretischen Problems 		Reinhardt [SA]   Abgeschlossen
27. Aug 08 Implementierung der Cardano-TAN
Ein trojanersicheres Online- und Mobile-Banking Verfahren 		Borchert et al. [SA]   Abgeschlossen
22. Aug 08 Implementierung der visuellen TAN (vTAN)
Implementierung eines trojaner-sicheren Online-Banking Verfahrens für Handys 		Borchert et al.   [DA] In Bearbeitung
30. Apr 08 Viele verschiedene Primfaktoren mit wenigen Operationen Borchert et al. [SA]   Abgeschlossen
20. Apr 08 Demonstration der Visuellen Kryptographie Borchert [SA]   Abgeschlossen
04. Apr 08 Erzeugt die Gleichung von Brahmagupta zufällig verteilte Zahlen? Borchert [SA]   In Bearbeitung
24. Jan 08 Arithmetische Schaltkreise: möglichst viele ganzzahlige Nullstellen unter Verwendung möglichst weniger Multiplikationen Borchert et al. [SA]   In Bearbeitung
22. Jan 08 Trojaner-sichere PIN-Eingabe via Foto-Handy (Handy-Programmierung) Borchert et al. [SA]   Abgeschlossen
22. Jan 08 Trojaner-sichere PIN-Eingabe via Foto-Handy (Server/Client-Programmierung) Borchert et al. [SA]   Abgeschlossen
05. Dec 07 Cardano-Verschlüsselung in der Karte-auf-Bildschirm Version Borchert et al.   [DA] Abgeschlossen
13. Nov 07 Sichere Verfahren gegen das Ablauschen des Passworts bei Online Accounts Borchert   [DA] In Bearbeitung
12. Nov 07 Kryptologische Analyse eines Verfahrens zur abhörsicheren Eingabe der PIN Borchert et al. [SA]   Abgeschlossen
31. Oct 07 Verbesserungen an einem Programmframework Behle et al. [SA]   In Bearbeitung
30. Oct 07 Grafische Darstellung von Monoiden Behle et al. [SA]   Abgeschlossen
17. Sep 07 Formularauswertung Behle et al. [SA]   Abgeschlossen
04. Sep 07 Sichere Verfahren für Online-Banking TrojanerSicherheit Borchert et al.   [DA] Abgeschlossen
08. Aug 07 Syntactic Varieties Reifferscheid et al.   [DA] Abgeschlossen
04. Jul 07 Grafische Darstellung von endlichen Automaten Behle et al. [SA]   In Bearbeitung
19. Mar 07 Erstellung eines Td-Rechners Krebs et al. [SA]   Abgeschlossen
30. Oct 06 Java Applet Syntaktische Monoide Borchert et al. [SA]   Abgeschlossen
15. Sep 06 Ein Java-Applet zur Visualisierung des Advanced Encryption Standard (AES) Reinhardt [SA]   Abgeschlossen
19. Apr 06 FO[<]-Uniformität Lange   [DA] Abgeschlossen
10. Apr 06 Ein Java-Applet zur Umwandlung von Typ-3-Grammatiken und endlichen Automaten Borchert [SA]   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

Letzte Änderung: 16. Oct. ‘09 | Bei Fragen und Anregungen E-Mail an: fswebadmin
Home WSI Fachschaft Uni-Tübingen Tübingen Externe Links