Sommersemester 22

Die Vorlesung Cybersicherheit (Cybersecurity) bietet einen breiten Einstieg in das Thema der IT-Sicherheit. Es werden grundlegende Konzepte der Kryptographie behandelt, ohne die eine sichere Kommunikation im Internet oder die Integrität moderner Systeme nicht möglich ist. Neben den kryptographischen Grundlagen bietet die Vorlesung einen Überblick über die verschiedenen Bereiche der Cybersicherheit. Hierzu gehört die Netzwerksicherheit (Wireless Security, Websecurity) und Software Security (Malware, Exploits, Trusted Computing). Die Studierenden haben am Ende der Veranstaltung einen guten Überblick über die Themenbereiche moderner IT-Sicherheit, sie verstehen die grundlegenden Konzepte für den Aufbau sicherer Kommunikation und Integritätsprüfung von Software. Zudem sind Sie in der Lage ihr Wissen auf andere Themenbereiche zu übertragen. Dadurch können die Studierenden beurteilen, ob ein System im ausreichenden Maße von potentiellen Angreifern geschützt ist.

• B.-A., Mordechai: Principles of Concurrent and Distributed Programming, Second Edition. Addison-Wesley 2006
• B.-A., Mordechai: Principles of the Spin Model Checker. Springer, 2008
• M. Herlihy, N. Shavit: The Art of Multiprocessor Programming, Revised Reprint. Morgan Kaufmann 2012

Theoretische und praktische Übungen zur Vorlesung Concurrency.

Je nach Übungsart findet entweder eine Zentralübung am Mo im Vorlesungsraum SH-601 oder Kleingruppenübungen am Di, Mi im Raum SM-205 statt. Genaue Termine werden in der Vorlesung bekannt gegeben.

• B.-A., Mordechai: Principles of Concurrent and Distributed Programming, Second Edition. Addison-Wesley 2006
• B.-A., Mordechai: Principles of the Spin Model Checker. Springer, 2008
• M. Herlihy, N. Shavit: The Art of Multiprocessor Programming, Revised Reprint. Morgan Kaufmann 2012

Das Masterprojekt Sichere Software Systeme konzentriert sich auf aktuelle Forschungsthemen im Bereich der anwendungsorientierten IT-Sicherheit. Bei Interesse an einem Masterprojekt wenden Sie sich an Prof. Davi, um einen persönlichen Termin zu vereinbaren.

Das Bachelorprojekt Sichere Software Systeme konzentriert sich auf aktuelle Forschungsthemen im Bereich der anwendungsorientierten IT-Sicherheit. Bei Interesse an einem Bachelorprojekt wenden Sie sich an Prof. Davi, um einen persönlichen Termin zu vereinbaren. Basierend auf Ihren Interessen, Vorkenntnissen und unseren aktuellen Forschungsthemen, werden wir dann gemeinsam ein Thema für Sie auswählen.

Embedded and IoT devices are ubiquitous. Like traditional computer systems, vulnerabilities are common in these devices. However, due to their form factor and architecture, the security analysis of these devices comes with specific challenges.
In this seminar, we give an introduction to the methodology and techniques for the security analysis of embedded devices. We focus on both the theoretical background as well as practical procedures and tools.

This seminar teaches scientific writing. In this seminar, students will investigate an individual topic in the field of embedded security. Each student writes a seminar paper on basis of scientific publications. Students learn to systematically find, read, and rate scientific publications. Furthermore, this seminar gives an introduction to security research and analysis of embedded and IoT devices. The seminar concludes with a presentation of the seminar papers.

Der erste Termin findet am Mittwoch, dem 6. April 2022 von 11:00−13:00 Uhr in S-GW 009 statt. Während der Vorlesungszeit gibt es mehrere Vorlesungseinheiten zu den Themen Embedded Security und wisenschaftlichem Arbeiten. Diese Vorlesungen finden mittwochs von 11:00-13:00 Uhr statt. Die Teilnahme ist obligatorisch für ein Bestehen des Seminars.

Für die Teilnahme am Seminar ist eine vorherige, formlose Anmeldung bis zum 1. April per E-Mail an Sebastian Surminski notwendig. Um eine intensive Betreuung der Studierenden zu gewährleisten ist die Anzahl der Teilnehmer begrenzt. Bitte melden Sie sich nur an wenn Sie das Seminar auch tatsächlich absolvieren wollen um auch anderen Studierendern auch die Teilnahme zu ermöglichen.

The seminar is fully booked. We cannot accept further applications.