Analysis and retrofitting of security properties for proprietary software systems

Die vorliegende Dissertation befasst sich mit der Entwicklung neuer Methoden zur Analyse und nachträglichen Erweiterung von Sicherheitseigenschaften von Softwaresystemen. Die Arbeit konzentriert sich dabei auf proprietäre Softwareumgebungen in denen kein Quellcode für die relevanten Softwarekomponenten verfügbar ist. Sowohl die Analyse als auch Erweiterung proprietärer Software erfordert die Entwicklung und den Einsatz speziell angepasster und neuartiger Techniken und Werkzeuge. Die Dissertation unterteilt sich in vier Themenbereiche, in denen jeweils unabhängig voneinander die Analyse und/oder Erweiterung bestimmter Softwaresysteme präsentiert wird. Konkret befassen sich diese vier Themenkomplexe mit der Rekonstruktion der Verschlüsselung des GMR-1 Standards, der Entwicklung neuer Seitenkanalangriffe auf Kernelspace ASLR Implementierungen, dem Entwurf des Kontrollflussintegrität-Frameworks MoCFI und neuen Ansätzen zur Identifizierung bösartiger Bot-Netzwerkverbindungen