Betreuer

Jörn Müller-Quade, Christian Henrich, Daniel Kraschewski

Inhalt

Moderne Kryptographie ist wesentlich mehr als nur die Wissenschaft der Verschlüsselung von Informationen. Sie stellt eine Vielzahl an Werkzeugen und Grundbausteinen zur Verfügung, mit denen sich die unterschiedlichsten und zum Teil sogar intuitiv unlösbar scheinende Problem-stellungen im Gebiet der Informationssicherheit lösen lassen.

In diesem Seminar werden verschiedene Primitive der modernen Kryptographie vorgestellt und entsprechende Realisierungsmöglichkeiten diskutiert. Unter anderem werden folgende Frage-stellungen behandelt:

• Wie kann man homomorph verschlüsseln, ohne die Vertraulichkeit verschlüsselter Nachrichten zu gefährden?
• Wie kann man Signaturen allein aus Einwegfunktionen (ohne starke zahlentheoretische Annahmen) realisieren?
• Wie kann man beliebige (NP-)Aussagen beweisen, so dass der Empfänger neben der Gültigkeit der bewiesenen Aussage nichts lernt (insbesondere nicht wie man die Gültigkeit der Aussage einer dritten Partei beweist)?
• Wie kann man allein aus einem verrauschten Kanal (ohne komplexitätstheoretische An- nahmen) zwischen zwei sich gegenseitig misstrauenden Parteien ein sicheres UND-Gatter realisieren?

Termine/Deadlines

• 16.04.2010: Vorbesprechung, Themenvergabe, Ende der Anmeldefrist
• 10.06.2010: Abgabe der Erstversion der Ausarbeitung
• 24.06.2010: Abgabe der Gutachten (Peer-Review)
• 09.07.2010: Vorträge (Ort: SR 265, Geb. 50.34. Zeit: 11:30h-13:00h)
• 30.07.2010: Abgabe der Finalversion der Ausarbeitung

Merkblätter, Vorlagen & Richtlinien

• Richtlinien.pdf
• Bewertungshilfe.txt
• Gutachten-Vorlage.txt
• LaTeX-Rahmen.zip (inkl. readme)
• Vortrags-Vorlagen (als zip-Ordner): LaTeX-Beamer-Vorlage, ppt/odp-Masterfolien

Links für wissenschaftliche Quellen

• SpringerLink ist nach eigenen Angaben die weltweit größte Online-Bibliothek für Wissen- schaft, Technik und Medizin mit Zugriff auf Zeitschriften, Buchreihen, Bücher, Nachschla- gewerke und ein historisches Archiv. Von einem Universitäts-Account aus sind die meisten Artikel dort direkt zugreifbar.
• IEEE Xplore bietet Zugriff auf wissenschaftliche und technische Literatur für Elektrotechnik, Informatik und Elektronik. Von einem Universitäts-Account aus sollten sämtliche Artikel dort direkt zugreifbar sein.
• Die ACM (Association for Computing Machinery) betreibt eine von Universitäts-Accounts aus zugreifbare digitale Bibliothek.
• Die CryptoDB ist eine Datenbank aller Veröffentlichungen der letzten Jahre auf den Krypto-Konferenzen der IACR (International Association for Cryptologic Research).
• Die IACR betreibt außerdem ein öffentlich zugreifbares ePrint Archiv. Da man dort ver- öffentlichen kann, ohne vorher einen Review-Prozess zu durchlaufen, ist jedoch ein wenig Vorsicht beim Zitieren geboten.
• Google Scholar ist die Suchmaschine der Wahl für wissenschaftliche und zitiertaugliche Quellen.
• Das DBLP (Digital Bibliography & Library Project)  bietet eine gute Möglichkeit, zu gege- benem Autor eine Liste aller Informatik-relevanten Veröffentlichungen abzurufen. Online verfügbare Artikel sind i.d.R. auch verlinkt.

Links zu Hilfen für LaTeX

• Die im deutschsprachigen Hochschulraum wohl bekannteste und qualitativ sehr gute Kurzanleitung "l2kurz.pdf" findet man z.B. hier, hier und hier.
• Und dann gibt es natürlich noch das DE-TeX-FAQ von DANTE, der deutschsprachigen Anwendervereinigung TeX e.V.