Die Anforderungen an Software steigen enorm, speziell an Security. Die zunehmende Vernetzung und immer zentralere Aufgaben der Software machen das Thema essentiell für Software Systeme. Security ist aber vielschichtig und muss sehr intensiv bei der Entwicklung von Software betrachtet werden. Nicht nur das Design der Software, sondern auch die Umsetzung der Algorithmen kann Software verletzlich machen. Neben Verschlüsselungs- und Authentifizierungsverfahren wurden daher Werkzeuge entwickelt, die Security Probleme erkennen können. Spezielle Analyseverfahren und Testmethoden helfen dabei, Security Probleme frühzeitig und bevor Auswirkungen befürchtet werden müssen, zu erkennen. Das SCCH forscht an der Weiterentwicklung dieser Methoden auf Basis der eigenen Analyse Expertise und hat Werkzeuge entwickelt, die speziell im Automatisierungsbereich und im IOT Umfeld einsetzbar sind. Im Vortrag wird, neben dem Überblick über diesem Bereich, ein Einblick in die aktuelle Forschung präsentiert.