Wirtschaftsspionage per Software-Trojaner, erfolgreiche Einbrüche in das Netz von Bundesbehörden, kompromittierte Industrieanglagen, ... Diese Liste ließe sich beliebig erweitern und wöchentlich werden neue Sicherheitsvorteile aufgedeckt. Dabei sind Softwarefehler eine der Grundursachen, häufig bilden sie den ersten Schritt hinter erfolgreichen Angriffen. Entsprechend benötigen wir effiziente und effektive Methoden, um komplexe Softwaresysteme robust gegen Angriffe zu machen. […]