Verbundprojekt: Effektives Testen von cyber-physischen Systemen (CPSec); Teilvorhaben: Skalierbares und effizientes Fuzzing von zustandsbehafteter Software für eingebettete Systeme

Im Rahmen des Teilprojekts „Skalierbares und effizientes Fuzzing von zustandsbehafteter Software für eingebettete Systeme“ hat CISPA verschiedene Testmethoden für cyber-physische Systeme entwickelt. Dazu wurden einerseits verschiedene Fallstudien durchgeführt, um die spezifischen Anforderungen von solchen Systemen zu verstehen. Anderseits wurden verschiedene Fuzzing-Techniken entwickelt, um cyber-physische Systeme effektiver zu testen. Neben der Weiterentwicklung eines Frameworks zum effektiven Testen von Firmware-Images wurden auch algorithmische Verbesserungen für ein effizientes Testen entwickelt. Bei den Ergebnissen handelt es sich um praxisorientierte, disziplinübergreifende Grundlagenforschung, deren Ergebnis das Potenzial zur zügigen Umsetzung in marktfähige Produkte aufweist. Letztlich können die Projektergebnisse einen wesentlichen Beitrag zur Verbesserung der Sicherheit von cyber-physischen Systemen leisten: Es wurden verschiedene neue Testmethoden erforscht und Methoden zum effizienten und effektiven Auffinden von Software-Schwachstellen implementiert. Die dabei gefundenen Schwachstellen wurden an die Hersteller gemeldet. Insgesamt hat das CPSec-Projekt wichtige Fortschritte im Bereich der automatisierten Sicherheitsanalyse von Firmware und eingebetteten Systemen erzielt. Die entwickelten Techniken tragen dazu bei, die Sicherheit cyber-physischer Systeme zu verbessern, indem sie tiefere Codeabschnitte zugänglich machen und neue Schwachstellen aufdecken.