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

Karlsruher Dialog zum Informationsrecht

Am Dienstag, 02. Juli 2013 um 18.30 Uhr, wird Dr. Alexander Dix, Berliner Beauftragter für Datenschutz und Informationsfreiheit, in Karlsruhe zum Thema "Datenschutz und transatlantische Freihandelszone" referieren.

"IT-Sicherheit im Smart Grid"

Jörn Müller-Quade hielt am 13.06. auf dem Informationstag "IT-Sicherheit im Smart Grid" in Berlin einen Vortrag mit dem Titel "Systemsicherheit ermöglicht Energiewende".

Trend- und Strategiebericht "Entwicklung sicherer Software durch Security by Design"

Die drei Kompetenzzentren für IT-Sicherheit CISPA, EC-SPRIDE und KASTEL veröffentlichen den Trend- und Strategiebericht "Entwicklung sicherer Software durch Security by Design".

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.

Alle Nachrichten

Die Logik der Sicherheit

Dozent

Jörn Müller-Quade, Dennis Hofheinz, Florian Böhl

Termin und Ort

Vom 13.04.11 bis 13.07.11, jeden Mittwoch 11:30h - 13:00h im SR 301 (Geb. 50.34).

Inhalt

Die Analyse kryptographischer Protokolle ist oft eine mühsame und fehleranfällige Handarbeit. Formale Modelle, in denen von kryptographischen Primitiven (wie beispielsweise einer Signatur, Hash-Funktion oder Verschlüsselung) in Form von Symbolen abstrahiert wird, können uns helfen, diese Analyse computergestützt durchzuführen. Die grundsätzliche Idee einer abstrakten Analyse kryptographischer Protokolle hatten Dolev und Yao bereits in den achtziger Jahren, doch erst in der jüngeren Zeit erfreut sich ihr Vorschlag wieder einer größeren Beliebtheit. Eine Ursache dafür ist sicherlich die Arbeit von Abadi und Rogaway aus dem Jahr 2000, die zeigt, wie die Welt der Symbole mit realitätsnahen Modellen zusammenhängt. In der Vorlesung wird das notwendige Grundwissen zum Umgang mit „symbolischer Kryptographie“ vermittelt. Dafür beschäftigen wir uns mit den Fragen, wie man Sicherheitseigenschaften formal formulieren und beweisen kann und wie sich Protokolle modular analysieren lassen. Außerdem beschäftigen wir uns mit den oben genannten Ideen von Abadi und Rogaway. Weitere Fragen, beispielsweise wie man versucht von einem sicheren Protokoll zu einer sicheren Implementierung zu gelangen, sollen gestreift werden. Die Vorlesung führt an aktuelle Forschungsthemen auf dem Gebiet der symbolischen Kryptographie heran.

Inhalt (nach Vorlesungsverlauf)

13.04.2011: Organisatorisches & Einführung (Needham-Schroeder-Beispiel und Idealisierung nach Dolev/Yao)
20.04.2011: Pi-Kalkül (Syntax & Semantik von Termen und Prozessen, strukturelle Äquivalenz, interne Reduktion)
27.04.2011: Pi-Kalkül (Reduktionsregeln zur impliziten Umgebungsinteraktion, Beispiele, Frames, Domänen und statische Äquivalenz von Frames)
04.05.2011: Pi-Kalkül (Trace Equivalence, Observational Equivalence, Labelled Bisimilarity)
11.05.2011: ProVerif
18.05.2011: BAN-Logik (Syntax, Ableitungsregeln, Analyse des symmetrischen Needham-Schroeder-Protokolls)
25.05.2011: Simulationsbasierte Sicherheit (Definition und Kompositionstheorem)
01.06.2011: Simulationsbasierte Sicherheit (Beispiel)
08.06.2011: Information-Flow & Jif (Non-interference)
15.06.2011: Computational Soundness (nach M. Abadi, P. Rogaway - Reconciling Two Views of Cryptography: Sicherheitstypen von Verschlüsselungsschemata, Konstruktion eines Typ-0-sicheren Schemas, Schlüsselzyklen)
22.06.2011: Computational Soundness (Fortsetzung: Beweis des Soundness-Theorems)
29.06.2011: H. Comon-Lundh, V. Cortier - Computational Soundness of Observational Equivalence (ohne Beweis)
06.07.2011: D. Unruh - The impossibility of computationally sound XOR
13.07.2011: K. Bhargavan et al. - Verified Interoperable Implementations of Security Protocols

Skript

Hier gibt es einige Notizen zur Vorlesung. Für den Anfang sind diese noch relativ ausführlich, für die späteren Abschnitte eher karg. Hier orientiert man sich besser an den oben verlinkten und in der Vorlesung thematisierten Arbeiten.