Proseminar: Sicherheitslücken in Software und deren Detektion
LSF: 040604
Moodle: https://moodle.tu-dortmund.de/course/view.php?id=39398 (Registrierung passiert automatisch)
Das Proseminar wird in deutscher Sprache gehalten.
Inhalt
Sicherheitslücken in Software haben einen zunehmend großen Einfluss auf verschiedenste Bereiche des alltäglichen Lebens. Prominente Vertreter wie Heartbleed, Log4Shell oder die jüngsten Schwachstellen in OpenSSL 3.0 zeigen beispielhaft, wie große Teile der Online-Infrastruktur durch Sicherheitslücken über längere Zeiträume beeinträchtigt werden können. Dabei treten solche Probleme nicht nur als Folge von Bugs auf, sondern auch durch absichtliche Manipulation von Code (z.B. Dependency-Aktivismus) oder gezielte Angriffe auf die Software-Supply-Chain.
Forschende arbeiten weltweit daran, solche Arten von Sicherheitslücken, Schwachstellen und Angriffen zu untersuchen, automatisiert zu erkennen und auszubessern. Dabei kommen unter anderem Techniken der statischen Programmanalyse und formalen Verifikation zum Einsatz, aber auch empirische Auswertungen zu vergangenen Sicherheitslücken und deren Auswirkungen.
In diesem Seminar werden wir zunächst verschiedene Kategorien von Schwachstellen in Software kennenlernen und uns über deren Auswirkungen informieren. Dafür nutzen wir sowohl aktuelle Veröffentlichungen aus der Forschung als auch entsprechende Blogeinträge und Reports. Darauf aufbauend erarbeiten wir uns mithilfe von Literatur verschieden formale Techniken zu Detektion und Ausbesserung von Sicherheitslücken in Software, und beurteilen deren Vor- und Nachteile im gemeinsamen Diskurs.
Form
Das Proseminar wird in Form eines "Diskussionsseminars" abgehalten. Dabei treffen sich alle Seminarteilnehmende zweiwöchentlich zu einer Sitzung, bei der nach einer kurzen Einleitung ein bestimmter Themenbereich frei diskutiert wird. Zu jeder Sitzung sind entsprechende Paper durchzuarbeiten, die vorher bekanntgemacht werden. Jeder Seminarteilnehmer bereitet im Laufe des Semesters eine Kurzpräsentation (~10 min) zu einem der Paper vor, und moderiert anschließend die Diskussion zum Themenbereich. Die Abschlussnote für das Proseminar bewertet die Qualität der Diskussionsbeiträge, die Kurzpräsentation sowie eine kurze schriftliche Ausarbeitung, die am Ende des Seminars anzufertigen ist.
Suche & Personensuche
Anfahrt & Lageplan
Der Campus der TU Dortmund liegt in der Nähe des Autobahnkreuzes Dortmund West, wo die Sauerlandlinie A45 den Ruhrschnellweg B1/A40 kreuzt. Die Abfahrt Dortmund-Eichlinghofen auf der A45 führt zum Campus Süd, die Abfahrt Dortmund-Dorstfeld auf der A40 zum Campus-Nord. An beiden Ausfahrten ist die Universität ausgeschildert.
Für E-Autos gibt es eine Ladesäule am Campus Nord, Vogelpothsweg.
Direkt auf dem Campus Nord befindet sich die S-Bahn-Station „Dortmund Universität“. Von dort fährt die S-Bahn-Linie S1 im 20- oder 30-Minuten-Takt zum Hauptbahnhof Dortmund und in der Gegenrichtung zum Hauptbahnhof Düsseldorf über Bochum, Essen und Duisburg. Außerdem ist die Universität mit den Buslinien 445, 447 und 462 zu erreichen. Eine Fahrplanauskunft findet sich auf der Homepage des Verkehrsverbundes Rhein-Ruhr, außerdem bieten die DSW21 einen interaktiven Liniennetzplan an.
Vom Flughafen Dortmund aus gelangt man mit dem AirportExpress innerhalb von gut 20 Minuten zum Dortmunder Hauptbahnhof und von dort mit der S-Bahn zur Universität. Ein größeres Angebot an internationalen Flugverbindungen bietet der etwa 60 Kilometer entfernte Flughafen Düsseldorf, der direkt mit der S-Bahn vom Bahnhof der Universität zu erreichen ist.
Zu den Wahrzeichen der TU Dortmund gehört die H-Bahn. Linie 1 verkehrt im 10-Minuten-Takt zwischen Dortmund Eichlinghofen und dem Technologiezentrum über Campus Süd und Dortmund Universität S, Linie 2 pendelt im 5-Minuten-Takt zwischen Campus Nord und Campus Süd. Diese Strecke legt sie in zwei Minuten zurück.
Die Einrichtungen der TU Dortmund verteilen sich auf den größeren Campus Nord und den kleineren Campus Süd. Zudem befinden sich einige Bereiche der Hochschule im angrenzenden Technologiepark. Genauere Informationen können Sie den Lageplänen entnehmen.