Forschungsgruppe
Cremers
Meine Forschung umfasst die Anwendung formaler Methoden und der Kryptographie auf die Analyse und Entwicklung sicherer Systeme. Die daraus resultierenden Erkenntnisse umfassen: formale Grundlagen der Sicherheit, unterstützende Technologien und die Verbesserung von Sicherheitsstandards.
