Logo VeriSec

BMBF Verbundvorhaben

VeriSec - Computergestützte Erzeugung und Verifikation von Maskierungen in kryptographischen Implementierungen



Maskierungen verwischen den Zusammenhang zwischen den realen, zu schützenden Daten und der vom Angreifer gemessenen Seitenkanal-Information. Dazu werden Zwischenergebnisse der kryptografischen Berechnungen mit einem geheimen Maskenwert randomisiert. Ziel des Verbundprojekts VeriSec ist die Konzeptionierung und Entwicklung von Software-Werkzeugen, die in der Lage sind, eine ungeschützte Implementierung automatisch mittels Maskierung zu schützen und eine gegebene Implementierung hinsichtlich möglicher Verwundbarkeiten automatisiert zu untersuchen. Im Gegensatz zu bekannten theoretischen Verfahren liegt im Projekt ein besonderer Fokus auf der praxisbezogenen Modellierung vorhandener Seitenkanäle durch konkrete Messungen.

Partner:

Logo NXP
NXP Semiconductors Germany GmbH (Verbundkoordinator)


Logo RUB

- Lehrstuhl für Embedded Security
- Arbeitsgruppe für Angewandte Kryptographie

Logo TÜV
TÜV Informationstechnik GmbH, Essen

Logo Uni Bremen
Arbeitsgruppe Technische Informatik und IT-Sicherheit

gefördert vom BMBF

Logo BMBF BMBF Projektwebseite

Kontakt

Prof. Dr.-Ing. Christof Paar
Ruhr-Universität Bochum
Lehrstuhl für Embedded Security
Universitätsstr. 150, ID 2 / 609
44801 Bochum
Telefon +49 (234) 32-22994
Christof.Paar@rub.de
www.emsec.rub.de

Falk Schellenberg
Ruhr-Universität Bochum
Lehrstuhl für Embedded Security
Universitätsstr. 150, ID 2 / 605
44801 Bochum
Telefon +49 (234) 32-29729
Falk.Schellenberg@rub.de
www.emsec.rub.de