Beschreibung:

Die Seminararbeit im Bereich Sichere Softwaresysteme konzentriert sich auf aktuelle Forschungsthemen im Bereich der anwendungsorientierten IT-Sicherheit. Für dieses Semester sind folgende Themengebiete möglich:

1. Dynamische Schwachstellenanalyse mittels Fuzzing
2. Sichere Smart Contract Programmierung in Ethereum
3. WebAssembly Security
4. Control-Flow Integrity für Funktionsaufrufe
5. Embedded Security
6. Programmanalyse mit Mixed Boolean-Arithmetic

Bei Interesse an einem der Themengebiete, bitten wir Sie eine erste selbstständige Recherche durchzuführen, damit Sie einen groben Einblick in das Themengebiet bekommen. Dies ist insofern wichtig, da die oben genannten Themen sich mit systemnahen Software und Hardware Aspekten beschäftigen (Betriebssystem-Code, Low-Level Code wie C-Code, Ethereum Bytecode und x86 oder ARM Assembler Instruktionen). Wir empfehlen Ihnen das Seminar Sichere Softwaresysteme nur zu belegen, wenn Sie bereit sind sich mit systemnahen Programmiertechniken auseinanderzusetzen. 

Zur Abstimmung des genauen Themas bitten wir Sie bis zum 09.10.2023 eine E-Mail mit dem Betreff „Seminar Secure Software System WS23/24“ mit dem gewünschten Seminarthema an systemsicherheit@paluno.de zu schreiben. Bitte beachten Sie, dass nur eine begrenzte Anzahl an Themen jedes Semester angeboten werden kann.

Qualifikationsziele:

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.

Literatur:

Unsere Themen richten sich an aktuellen Forschungsthemen der IT-Sicherheit (insbesondere Systemsicherheit). Die besten IT-Sicherheitstagungen (A*-Konferenzen) sind nachfolgend aufgeführt. Über das Uni-Netzwerk können Sie für alle der genannten Konferenzen die wissenschaftliche Artikel (die sogenannten Papers) kostenlos herunterladen und sich die Vortragsvideos anschauen.

• IEEE Security and Privacy Symposium (IEEE S&P)
• ACM Conference on Computer and Communications Security (CCS)
• USENIX Security Symposium
• ISOC Network and Distributed System Security Symposium (NDSS)