Logo VeriSec

BMBF Joint Research Project

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



Masking tries to break the connection between the secret protected data and the side-channel information obtained by an attacker. To this end, all intermediate values of a cryptographic operation will be masked with a random value. The goal of the project VeriSec is to develop tools that can automatically mask an unprotected implementation and further, tools that can automatically analyze a masked implementation regarding possible side-channels. Opposed to solely theoretical approaches known in literature, we ensure the functionality of the tools by a practical modeling of the side-channel information through concrete measurements.

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

supported by the BMBF

Logo BMBF BMBF project website

Contact

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