Developer-centric tools for side-channel analysis (DevToSCA); Teilvorhaben: Statistische Verifikationswerkzeuge zur Seitenkanalresistenz von Programmcode (HBRS-ISEC)

Abstract

Das zentrale Projektziel von DevToSCA ist die Befähigung von Softwareentwicklern, die eigenen Software-Produkte, aufbauend auf verfügbaren aber auch eigenständig entwickelten Krypto- bzw. Sicherheitsfunktionen, automatisiert auf ihre Seitenkanalresistenz zu prüfen. Das DevToSCA Vorhaben entwickelt dazu innovative symbolische und statistische Verifikationstools zur Seitenkanalanalyse, mit denen zum einen Softwareentwickler in die Lage versetzt werden, ohne tiefgehendes Fachwissen über Seitenkanäle die Resistenz eigener Implementierungen zu verifizieren und zum anderen die Prozessoren selbst die Seitenkanaleigenschaften des Hardware/Software-Codesigns überprüfen können. In diesem Teilvorhaben HBRS-ISEC von DevToSCA sollen statistische Verifikationswerkzeuge zur Seitenkanalanalyse von Ausführungszeiten kryptographischer Implementierungen auf realer Hardware für DevToSCA entwickelt werden. Das Entwicklungsziel dieser statistischen Verifikationswerkzeuge ist es, in der Entwicklung und später in der operationellen Phase im Betrieb probabilistisch sicherzustellen, dass die gemessenen Ausführungszeiten kryptographischer Implementierungen keine ausnutzbaren Rückschlüsse auf geheime oder private kryptographische Schlüssel in der Implementierung zulassen.