Modul Spezielle Kapitel Maschinelles Lernen, Informatik (Master) (SPO 7)

Englische Sprache
Kompakte Schrift

Farbschema

Modulübersicht

Spezielle Kapitel Maschinelles Lernen

INFM220ML

Prof. Dr. Carsten Sinz

/

2. Semester

keine

keine

Klausur/mündl. Prüfung 120/20 Min. (benotet)
Lehrveranstaltung Angewandte Kryptographie

INFM221ML.a

Vorlesung

Prof. Dr. Frank Schaefer

deutsch

2/2

60 Stunden gesamt, davon 30 Stunden Kontaktstudium.

Modulprüfung

In dieser Vorlesung werden die grundlegenden Methoden der Kryptographie vorgestellt. Dabei wird nach den einführenden Grundlagen der Schwerpunkt auf die Mechanismen gelegt, die typischerweise bei modernen Anwendungen zum Einsatz kommen.

Wesentliche Themen sind symmetrische Verschlüsselungsverfahren, insbesondere Blockchiffren (DES, AES), Modes of Operation (z.B. EBC, CBC), Hash-Funktionen, Message-Authentication-Codes, Public-Key-Verfahren (z.B. RSA, Diffie-Helman, ElGamal), Key-Management und elektronische Unterschriften.

Im weiteren Verlauf werden verschiedene, aktuelle Anwendungen der IT-Sicherheit, die auf dem Einsatz kryptographischer Verfahren beruhen, behandelt: E/Mail-Sicherheit (z.B. PGP, S-MIME), WWW-Sicherheit (SSL), Netzwerksicherheit (IP-SEC), Sicherheit von Web-Servern (Authentifikations-Mechanismen). Anhand dieser Beispiele werden wesentliche Grundprinzipien der IT-Sicherheit erläutert.

Ausführliche Folien werden im Intranet angeboten. Die Foliensätze der einzelnen Themen enthalten jeweils gesondert Literaturhinweise.

Einen Überblick bietet:

  • Claudia Eckert: IT-Sicherheit. Konzepte - Verfahren - Protokolle, München, Oldenbourg Wissenschaftsverlag, 2013, 8. Auflage, ISBN 978-3-486-58270-3.

Die Lehrveranstaltung wird zu ca. 2/3 als Vorlesung durchgeführt. In der übrigen Zeit werden betreute Übungen durchgeführt, um die Techniken an praktischen Rechenbeispielen zu vertiefen.

Lehrveranstaltung Practical SAT Solving

INFM221ML.d

Vorlesung

Prof. Dr. Carsten Sinz

deutsch

2/2

60 Stunden gesamt, davon 30 Stunden Kontaktstudium.

Modulprüfung

SAT-Solving ist eines der wichtigsten allgemeinen Verfahren zur Lösung schwerer (oft NP-vollständiger) kombinatorischer Probleme. Diese treten in der Praxis in einer Vielzahl von Anwendungen auf, z.B.:

  • Planungs- und Scheduling-Probleme in Lieferketten
  • Konfiguration komplexer, variantenreicher Produkte, z.B. PKWs, LKWs, Flugzeuge
  • Prüfung (Verifikation) von Hardware- und Software
  • Erstellung von Spielplänen, z.B. in der Bundesliga

Dieses Modul soll Studierenden die theoretischen und schwerpunktmäßig praktischen Aspekte des SAT-Solving vermitteln. Behandelt werden:

  • Grundlagen, historische Entwicklung
  • Codierungen, z.B. cardinality constraints
  • Phasenübergänge bei Zufallsproblemen
  • Lokale Suche (GSAT, WalkSAT, ..., ProbSAT)
  • Resolution, Davis-Putnam-Algorithmus, DPLL-Algorithmus, Look-Ahead-Algorithmus
  • Effiziente Implementierungen, Datenstrukturen
  • Heuristiken im DPLL-Algorithmus
  • CDCL-Algorithmus, Klausellernen, Implikationsgraphen
  • Restarts und Heuristiken im CDCL-Algorithmus
  • Preprocessing, Inprocessing
  • Generierung von Beweisen und deren Prüfung
  • Paralleles SAT Solving (Guiding Paths, Portfolios, Cube-and-Conquer)
  • Fortgeschrittene Anwendungen: Bounded Model Checking, Planen, satisfiability-modulo-theories

Auch die Einbindung von industriellen Anwendern (z.B. von Mercedes-Benz) ist vorgesehen.