|
Secure Multi-Party Computation (SMPC)5 ECTS (englische Bezeichnung: Secure Multi-Party Computation)
(Prüfungsordnungsmodul: Vertiefungsmodul Theoretische Informatik)
Modulverantwortliche/r: Dominique Schröder Lehrende:
Dominique Schröder
Startsemester: |
SS 2017 | Dauer: |
1 Semester | Turnus: |
jährlich (SS) |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. | Sprache: |
Englisch |
Lehrveranstaltungen:
-
-
UE: Secure Multi-Party Computation
(Übung, 2 SWS, Dominique Schröder et al., Mo, 16:15 - 17:45, 02.134-113)
-
VL: Secure Multi-Party Computation
(Vorlesung, 2 SWS, Dominique Schröder, Do, 10:15 - 11:45, 02.133-113)
Empfohlene Voraussetzungen:
Basic knowledge in cryptography
Inhalt:
Secure two-party computation is motivated by Yao's millionaires problem: suppose that two millionaires would like to know who is richter without revealing their own wealth. This idea can be formulated more general: Consider Alice has private input x and Bob has input y and they wish to compute the function f(x,y) securely. This lecture gives a comprehensive introduction to
secure two and multi-party computation. We will cover the following topics:
Security definition of secure two and multi-party computation
Yao's garbled circuit
Optimizations for Yao's garbled circuit
General transformations for malicious security
Applications of secure two- and multi-party computation
Selected state-of-the-art results
Lernziele und Kompetenzen:
- Verstehen
- Die Studierende verstehen die verschiedenen Sicherheitsdefinitionen und grundlegenden Protokolle.
- Analysieren
- Die Studierende können die Sicherheit der Protokolle analysieren.
- Evaluieren (Beurteilen)
- Die Studierende können die Eigenschaften der Protokolle vergleichen und je nach Anwendung das passende Protokoll auswählen.
Literatur:
Efficient Secure Two-Party Protocols: Techniques and Constructions (Information Security and Cryptography von Carmit Hazay und Yehuda Lindell
Foundations of Cryptography v1 von Oded Goldreich
Foundations of Cryptography v2 von Oded Goldreich
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
- Informatik (Bachelor of Science)
(Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Theoretische Informatik)
Dieses Modul ist daneben auch in den Studienfächern "Informatik (Bachelor of Arts (2 Fächer))", "Informatik (Master of Science)", "Mathematik (Bachelor of Science)" verwendbar. Details
Studien-/Prüfungsleistungen:
Secure Multi-Party Computation (Prüfungsnummer: 346557)
(englischer Titel: Secure Multi-Party Computation)
- Prüfungsleistung, mehrteilige Prüfung, benotet, 5 ECTS
- Anteil an der Berechnung der Modulnote: 100.0 %
- weitere Erläuterungen:
Die Prüfung setzt sich aus einer mündlichen Prüfung (30 Minuten) und der erfolgreichen Teilnahme an den Übungen (50 % der Übungsaufgaben müssen bestanden sein) zusammen.
Die Modulnote ergibt sich zu 100 % aus der mündlichen Prüfungsleistung.
- Prüfungssprache: Deutsch oder Englisch
- Erstablegung: SS 2017
1. Prüfer: | Dominique Schröder |
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|