Abschlussarbeiten
In der Arbeitsgruppe werden Themen für Abschlussarbeiten (Bachelor-, Master- und Diplomarbeiten) zur theoretischen Informatik in den Bereichen Automaten, Logiken und Kryptographie ausgegeben.
Zur Absprache konkreter Themen stehe ich jederzeit zur Verfügung.
gez. Thomas Wilke
2008
[Aizatulin-DA-2008 | .pdf | .bib]
M. Aizatulin, "A Timely and Balanced Optimistic Contract-Signing Protocol", Diplomarbeit, 2008.
@MASTERSTHESIS{Aizatulin-DA-2008,
author = {Mihhail Aizatulin},
title = {A Timely and Balanced Optimistic Contract-Signing Protocol},
school = {Institut für Informatik, Christian-Albrechts-Universität zu Kiel},
year = {2008},
type = {Diplomarbeit},
url = {http://www.ti.informatik.uni-kiel.de/wp-content/uploads/pubs/DA-Aizatulin.pdf}
}
2007
[Tuengerthal-DA-2007 | .bib]
M. Tuengerthal, "Session Identifies in Simulation-Based Security", Diplomarbeit, 2007.
@MASTERSTHESIS{Tuengerthal-DA-2007,
author = {Tuengerthal, Max},
title = {Session Identifies in Simulation-Based Security},
school = {Institut für Informatik, Christian-Albrechts-Universität zu Kiel},
year = {2007},
type = {Diplomarbeit}
}
[Vu-DA-2007 | .bib]
D. H. Vu, "Web of Trust", Diplomarbeit, 2007.
@MASTERSTHESIS{Vu-DA-2007,
author = {Vu, D. H.},
title = {Web of Trust},
school = {Institut für Informatik, Christian-Albrechts-Universität zu Kiel},
year = {2007},
type = {Diplomarbeit}
}
2006
K. O. Kürtz, "Automatic Analysis of Recursive Cryptographic Protocols", Diplomarbeit, 2006.
@MASTERSTHESIS{Kurtz-DA-2006,
author = {Klaas Ole Kürtz},
title = {Automatic Analysis of Recursive Cryptographic Protocols},
school = {Institut für Informatik, Christian-Albrechts-Universität zu Kiel},
year = {2006},
type = {Diplomarbeit},
url = {http://www.ti.informatik.uni-kiel.de/wp-content/uploads/pubs/DA-Kuertz.pdf}
}
2005
[Krieger-DA-2005 | .bib]
T. Krieger, "Entwicklung, Analyse und Implementierung eines sicheren Zugangskontrollmechanismus ohne Passworttabelle", Diplomarbeit, 2005.
@MASTERSTHESIS{Krieger-DA-2005,
author = {Krieger, Tobias},
title = {Entwicklung, Analyse und Implementierung eines sicheren Zugangskontrollmechanismus ohne Passworttabelle},
school = {Institut für Informatik, Christian-Albrechts-Universität zu Kiel},
year = {2005},
type = {Diplomarbeit}
}
[Obermann-DA-2005 | .bib]
A. Obermann, "Verifikation kryptographischer Protokolle mit Baumtransduktionen", Diplomarbeit, 2005.
@MASTERSTHESIS{Obermann-DA-2005,
author = {Obermann, Andre},
title = {Verifikation kryptographischer Protokolle mit Baumtransduktionen},
school = {Fachbereich Informatik, TU Kaiserslautern},
year = {2005},
type = {Diplomarbeit},
note = {Externe Arbeit}
}
2004
[Sridharan-DA-2004 | .bib]
M. Sridharan, "A Java Library for Differential Cryptanalysis", Diplomarbeit, 2004.
@MASTERSTHESIS{Sridharan-DA-2004,
author = {Sridharan, M.},
title = {A Java Library for Differential Cryptanalysis},
school = {Institut für Informatik, Christian-Albrechts-Universität zu Kiel},
year = {2004},
type = {Diplomarbeit}
}
[Wendel-DA-2004 | .bib]
M. Wendel, "Implementierung und Bewertung eines Constraint-basierten Ansatzes zur Verifikation kryptographischer Protokolle", Diplomarbeit, 2004.
@MASTERSTHESIS{Wendel-DA-2004,
author = {Wendel, Marco},
title = {Implementierung und Bewertung eines Constraint-basierten Ansatzes zur Verifikation kryptographischer Protokolle},
school = {Institut für Informatik, Christian-Albrechts-Universität zu Kiel},
year = {2004},
type = {Diplomarbeit}
}
[Solomon-DA-2004 | .bib]
J. Solomon, "A Java Library for Linear Cryptanalysis", Diplomarbeit, 2004.
@MASTERSTHESIS{Solomon-DA-2004,
author = {Solomon, J.},
title = {A Java Library for Linear Cryptanalysis},
school = {Institut für Informatik, Christian-Albrechts-Universität zu Kiel},
year = {2004},
type = {Diplomarbeit}
}
2002
A. Bunge, "Verifikation offener Systeme durch alternierende Automaten", Diplomarbeit, 2002.
@MASTERSTHESIS{Bunge-DA-2002,
author = {Bunge, Alexandra},
title = {Verifikation offener Systeme durch alternierende Automaten},
school = {Institut für Informatik, Christian-Albrechts-Universität zu Kiel},
year = {2002},
type = typestring, url = {http://www.ti.informatik.uni-kiel.de/wp-content/uploads/pubs/DA-Bunge.pdf}
}
[Budzyn-DA-2002 | .bib]
N. Budzyn, "Datenschutzpräferenzen in XML — Weiterentwicklung und Implementierung der W3C-Spezifikation APPEL", Diplomarbeit, 2002.
@MASTERSTHESIS{Budzyn-DA-2002,
author = {Budzyn, Nikolaj},
title = {Datenschutzpräferenzen in XML -- Weiterentwicklung und Implementierung der W3C-Spezifikation APPEL},
school = {Institut für Informatik, Christian-Albrechts-Universität zu Kiel},
year = {2002},
type = {Diplomarbeit}
}
2001
[Kamp-DA-2001 | .bib]
S. Kamp, "Entwicklung eines P3P-Benutzeragenten", Diplomarbeit, 2001.
@MASTERSTHESIS{Kamp-DA-2001,
author = {Kamp, Sebastian},
title = {Entwicklung eines P3P-Benutzeragenten},
school = {Institut für Informatik, Christian-Albrechts-Universität zu Kiel},
year = {2001},
type = {Diplomarbeit}
}
[Kahler-DA-2001 | .pdf | .bib]
D. Kähler, "Determinisierung von Omega-Automaten", Diplomarbeit, 2001.
@MASTERSTHESIS{Kahler-DA-2001,
author = {Detlef Kähler},
title = {Determinisierung von Omega-Automaten},
school = {Institut für Informatik, Christian-Albrechts-Universität zu Kiel},
year = {2001},
type = {Diplomarbeit},
url = {http://www.ti.informatik.uni-kiel.de/wp-content/uploads/pubs/DA-Kaehler.pdf}
}