Fakultät für Informatik | KIT |  Deutsch  | English

Kontakt zum IKS

Am Fasanengarten 5
Geb. 50.34

D-76131 Karlsruhe

Tel.: + 49 721 608-44205
Fax: + 49 721 608-55022

E-Mail: info(at)iks.kit.edu

Aktuelles

Vortrag auf dem 13. Deutschen IT-Sicherheitskongress

Prof. Jörn Müller-Quade hält am 16.5.2013, um 9.00 Uhr, auf dem 13. Deutschen IT-Sicherheitskongress einen Vortrag mit dem Titel "Mit architekturbasierter Sicherheit zu systemischen Garantien".

Kryptologikum auf der CLOUDZONE 2013

Das Kryptologikum präsentiert sich auf der CLOUDZONE 2013, der Fachmesse für Cloud Computing in Karlsruhe. Die Ausstellung ist leider nicht in Gänze zu sehen, vielmehr soll die Vision hinter dem Kryptologikum dem Fachpublikum vorgestellt werden. Die CLOUDZONE findet vom 15. Mai bis zum 16. Mai 2013 in der Messe Karlsruhe statt.

Doppelmaster Kryptographie

In Zusammenarbeit mit der Université de Rennes 1 startet mit Beginn des Wintersemesters 2013/2014 ein neues Doppelmasterprogramm im Bereich Kryptographie. Weitere Informationen sind auf den Seiten der Informatik-Fakultät zu finden.

Girls'Day 

Am 25.4.13 fand der diesjährige Girls'Day statt. Das IKS war dabei mit der Veranstaltung "Geheimschriften – wie gelangt eine Nachricht sicher von Alice zu Bob?" vertreten. (Einen kleinen Eindruck erhält man hier.)

Eurocrypt 2013

Das IKS Müller-Quade und das IKS Hofheinz sind auf der diesjährigen Eurocrypt, die vom 26.5. bis 30.5.13 in Athen stattfindet, mit insgesamt 3 Veröffentlichungen vertreten.

Vortrag von Daniel Kraschewski

"Von der IT-Sicherheit zur Systemsicherheit" lautete der Titel von Daniel Kraschewskis Vortrag, den er am 21.2.13 bei der IHK-Veranstaltung "Social Media und Cybercrime: Netzsicherheit als europäische und nationale Standortaufgabe" in Erfurt hielt.

Jörn Müller-Quade bei PHOENIX

In der PHOENIX-Runde unter dem Titel "Cyberwar - der unsichtbare Krieg" nimmt Jörn Müller-Quade an einer Podiumsdiskussion über die Bedrohung durch Hacker-Angriffe teil.

Kryptologikum in den Medien

Die Kryptologikum-Ausstellung im ZKM findet Anklang in einem Videobeitrag des SWR (Landesschau Baden-Württemberg) und einer n-tv Bilderserie.

Kryptologikum-Ausstellung im ZKM

Vom 1. bis zum 3. Februar 2013 findet die Kryptologikum-Ausstellung im Zentrum für Kunst und Medientechnologie Karlsruhe (ZKM) statt. Weitere Informationen sind unter www.kryptologikum.de zu finden.

 

Alle Nachrichten

Proseminar: Kryptographische Wahlverfahren

Betreuer

Jörn Müller-Quade, Matthias Gabel, Christian Henrich

Inhalt

Wahlen stellen die Grundlage der Demokratie dar. Neben der klassischen Papierwahl werden schon seit Ende des 19. Jahrhunderts verschiedene Maschinen und Geräte eingesetzt, um die Stimme des Wählers zu erfassen. Zuletzt wurden in Deutschland Wahlmaschinen bei der Bundestagswahl 2005 eingesetzt. Die der Zulassung dieser Maschinen zu Grunde liegende Bundeswahlgeräteverordnung wurde 2009 in einem Urteil des Bundesverfassungsgerichts für verfassungswidrig erklärt. Die Frage, ob es ein verfassungsgemäße Wahl mit Wahlmaschinen geben kann, ist weiter offen.

In diesem Proseminar werden verschiedene kryptographische Ansätze und Wahlverfahren behandelt und auf ihre Eigenschaften hin untersucht. Jeder Teilnehmer setzt sich dabei mit einem kryptographischen Verfahren auseinander und stellt dieses in einem Vortrag vor. Zusätzlich soll jeder Teilnehmer das Verfahren in einer Ausarbeitung beschreiben, so dass schließlich eine umfassende Zusammenstellung kryptographischer Wahlverfahren vorliegt.

Das Proseminar richtet sich an Studierende der Informatik und verwandter Fächer ab dem dritten Fachsemester. Vorkenntnisse, die den Inhalt der Informatik- und entsprechenden Mathematik-Grundvorlesungen übersteigen, sind nicht erforderlich.

Anmeldung und Vorbesprechung

Anmeldung bitte persönlich oder per E-Mail bei Matthias Gabel oder Christian Henrich.

Das Proseminar ist auf maximal 12 Teilnehmer beschränkt.

Die Vorbesprechung findet am 15. April 2010 um 13:00 Uhr im Seminarraum 252, Geb. 50.34, statt.

Termine/Deadlines

  • 15.04.2010: Vorbesprechung (Ende der Anmeldefrist)
  • 28.04.2010: Grundlagen für wissenschaftliches Schreiben (im Seminarraum 252)
  • 10.06.2010, 23:59: Abgabe der Ausarbeitung
  • 24.06.2010, 23:59: Abgabe des Gutachtens
  • 09.07.2010, 14:00: Vorträge (im Seminarraum 252)
  • 14.07.2010, 14:00: Vorträge (im Seminarraum 252)
  • 23.07.2010, 15:30: Abgabe der endgültigen Ausarbeitung

Die Scheine müssen sie in diesem Semester (bis Ende September) abgeben.

Merkblätter, Vorlagen & Richtlinien

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.
  • Das PROLA (Physical Review Online Archive) ist das Online-Archiv der APS (American Physical Society) für die Zeitschriften Physical Review Letters, Reviews of Modern Physics und Physical Review A–E. Insbesondere Physical Review Letters gilt als eine der angese- hensten Fachzeitschriften für Physik mit sehr hohem Qualitätsstandard. Von einem Uni- versitä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.