Sommersemester 24

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.

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.

Informationen zu den Übungen finden Sie hier

schriftliche Klausur

Die Übungen finden Dienstags (Gruppe 1) von 08:00 bis 10:00 in Raum R14 R02 B07 und Mittwochs (Gruppe 2) von 14:00 bis 16:00 im Audimax R14 R00 A04 (großer Hörsaal) statt. Wir nutzen Raum R11 T00 D05 für die Übung am Mittwoch nur in Kalenderwoche KW21 (22.05), KW23 (05.6) und KW26 (26.6), da der große Hörsaal im Audimax an diesen Terminen bereits belegt ist.

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.

Die Seminararbeit im Bereich Systemsicherheit konzentriert sich auf aktuelle Forschungsthemen im Bereich der anwendungsorientierten IT-Sicherheit. Folgende Themen werden dieses Semester angeboten:

• Dynamische Schwachstellenanalyse mittels Fuzzing
• Sichere Smart Contract Programmierung in Ethereum
• WebAssembly Security
• Embedded Security
• Programmanalyse mit Mixed Boolean-Arithmetic

Falls ein Thema bereits reserviert ist, können Sie sich auf die Warteliste setzen lassen. Bei Interesse an einem der Themengebiete, bitten wir Sie eine erste selbständige Recherche durchzuführen, damit Sie einen groben Einblick in das Themengebiet bekommen. Dies ist insofern wichtig, da die Seminarthemen unserer Arbeitsgruppe sich mit systemnahen Software und Hardware Aspekten beschäftigen (Betriebssystem-Code, Low-Level Code wie C-Code, Ethereum Bytecode, x86 und ARM Assembler Instruktionen). Wir empfehlen Ihnen das Seminar nur zu belegen, wenn Sie bereit sind sich mit Systemnahen Programmiertechniken und Low-Level Security Problemen auseinanderzusetzen.

Die Studierenden lernen Methoden des wissenschaftlichen Arbeitens und sind in der Lage eigenständig ein Themengebiet auf Basis von wissenschaftlichen Veröffentlichungen zu erarbeiten. Durch die Seminararbeit lernen die Studierenden ein wissenschaftliches Thema zusammenzufassen sowie wissenschaftliche Publikationen zu systematisieren und bewerten. Die Studierenden üben die Präsentation über ein wissenschaftliches Themengebiet in Form der Abschlusspräsentation.

Anmeldung

Nach der Veröffentlichung der Themen, können Sie sich auf ein Thema anmelden. Dafür bitten wir Sie eine E-Mail unter Nennung des Themengebiets an folgende Adresse zu schreiben: systemsicherheit (at) paluno.de

Bitte beachten Sie, dass nur eine begrenzte Anzahl an Themen jedes Semester angeboten werden kann.

• Einführungsveranstaltung: 11.04.2024 um 15:00 in Raum SGW-009
• Zwischenabgabe: 19.06.2024 23:59
• Präsentation: 17.07.2024 um 14:00 in Raum SGW-007
• Finale Abgabe: 19.07.2024 23:59

Alle genannten Termine und Fristen sind obligatorisch.

Alle Seminarplätze sind zurzeit vergeben und die Warteliste ist gefüllt. Wir können zurzeit keine weiteren Seminarplätze anbieten.

In dieser Vorlesung erhalten die Studierenden einen Überblick über Sicherheitsaspekte in Kryptowährungen und Blockchain Technologien mit Fokus auf Smart Contract Security. Die Vorlesung umfasst folgende Themenschwerpunkte:

• Historie von digitalen Währungen
• Datenstruktur der Blockchain und Merkle Bäume
• Grundprinzipien von Bitcoin: Double-Spending Problem, Proof-of-Work Consensus Protokoll, Digitale Signaturen, Transaktionen
• Grundprinzipien von Ethereum: Smart Contracts, Gas Mechanismus, Proof-of-Stake Consensus Protokoll
• Smart Contract Schwachstellen Analyse und Angriffstechniken
• Sichere Entwicklung und Härtung von Smart Contracts
• Smart Contract Programmiersprachen (Solidity, Rust) und Compiler
• Alternative Kryptowährungen und Smart Contract Technologien (z.B. Solana)
• Blockchain Technologien aus der industriellen Forschung am Beispiel von HyperLedger Fabric

• A. Narayanan, J. Bonneau, E. Felten, A. Miller, S. Goldfeder: Bitcoin and Cryptocurrency Technologies: A Comprehensive Introduction, Princeton Univers. Press, 2019
• A. Antonopoulos: Mastering Bitcoin: Unlocking Digital Cryptocurrencies, O'Reilly Media, 2nd edition, 2017
• L. Lantz, D. Cawrey: Mastering Blockchain: Unlocking the Power of Cryptocurrencies, Smart Contracts, and Decentralized Applications, O'Reilly Media, 2020

Hinweis für CASA Doktoranden und Duisburger Studierende: Den Zugangsschlüssel zur Einschreibung in den Moodle-Kurs erhalten Sie während der ersten Vorlesung sowie auf Anfrage per E-Mail.

Theoretische und praktische Übungen zur Vorlesung Sicherheit in Kryptowährungen und Blockchain Technologien

Hinweis für CASA Doktoranden und Duisburger Studierende: Den Zugangsschlüssel zur Einschreibung in den Moodle-Kurs erhalten Sie während der ersten Vorlesung sowie auf Anfrage per E-Mail.