Unter Software Protection versteht man Maßnahmen, welche die Analyse bzw. das Reverse Engineering von Software erschweren. Solche Methoden finden sowohl Anwendung in kommerzieller Software, um Piraterie zu verhindern, als auch in Malware, um deren Funktionsweise zu verschleiern.
In dieser Lehrveranstaltung lernen die Studierenden gängige Methoden der Software Protection kennen sowie Methoden, um diese zu brechen. Dazu designen und implementieren sie in praxisnahen Aufgaben erst ihre eigenen Protection-Mechanismen, welche sie im Anschluss brechen werden mit dem Ziel, diese wieder zu verbessern. Parallel dazu werden Schutzmechanismen aus der echten Welt analysiert, attackiert und diskutiert.
Dabei werden unter anderem die folgenden Themen und Techniken aus dem Bereich Software Protection behandelt:
- Opaque Predicates
- Control-flow Flattening
- Mixed Boolean-Arithmetic Expressions
- Virtual Machines
- Anti-Tamper
- Symbolische Ausfuehrung
- SMT Solving
- Programmsynthese
- Ãœberblick zu existierenden Analysetools und Frameworks
In dieser Lehrveranstaltung lernen die Studierenden gängige Methoden der Software Protection kennen sowie Methoden, um diese zu brechen. Dazu designen und implementieren sie in praxisnahen Aufgaben erst ihre eigenen Protection-Mechanismen, welche sie im Anschluss brechen werden mit dem Ziel, diese wieder zu verbessern. Parallel dazu werden Schutzmechanismen aus der echten Welt analysiert, attackiert und diskutiert.
Dabei werden unter anderem die folgenden Themen und Techniken aus dem Bereich Software Protection behandelt:
- Opaque Predicates
- Control-flow Flattening
- Mixed Boolean-Arithmetic Expressions
- Virtual Machines
- Anti-Tamper
- Symbolische Ausfuehrung
- SMT Solving
- Programmsynthese
- Ãœberblick zu existierenden Analysetools und Frameworks
- Kursleiter/in: Tim Blazytko
- Kursleiter/in: Philipp Koppe
- Kursleiter/in: Rachid Mzannar
Semester: ST 2024