Beschreibung:

Das Bachelorprojekt Sichere Software Systeme konzentriert sich auf aktuelle Forschungsthemen im Bereich der anwendungsorientierten IT-Sicherheit. Die Themengebiete für dieses Semester sind nachfolgend angegeben:

• Schwachstellenanalyse: Fuzzing und Symbolic Execution
• Blockchain und Smart Contract Security
• WebAssembly Security
• Memory Corruption
• Embedded System Security
• Rust Security

Bitte beachten Sie, dass die oben genannten Themengebiete 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 Bachelorprojekt Sichere Software Systeme nur zu wählen, wenn Sie bereit sind sich mit Systemnahen Programmiertechniken auseinanderzusetzen, d.h. im Umfang des Bachelorprojektes diese zu erlernen und anzuwenden.

Zur Abstimmung des genauen Themas bitten wir Sie eine E-Mail unter Nennung des Themengebiets an Prof. Davi zu schreiben. Bitte beachten Sie, dass nur eine begrenzte Anzahl an Projektarbeiten jedes Semester angeboten werden kann.

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)