Forschungsgruppe Computation and Communication

Die Forschungsgruppe "Secure Computation & Communication" wird von Anne Koziolek und Andy Rupp geleitet. Sie treibt die formale Modellierung, den Entwurf, die Analyse und die praktische Bewertung neuartiger Methoden zur Sicherung von Rechenarchitekturen und Kommunikationsinfrastrukturen auf mehreren Ebenen voran. Wir werden von den Sicherheitsherausforderungen angetrieben, die sich in den Anwendungsbereichen Mobilität, Produktion und Energie ergeben.