We are looking at the perspectives offered by dynamic code generation to increase the safety of cryptography applications. Our laboratory develops a technology for dynamic code generation around a tool called deGoal, which brings runtime code generation within reach of constrained embedded devices. We call polymorphism the capability to modify the form and the behaviour of a program with runtime code generation, while keeping unchanged its functional properties. This property is likely to increase the difficulty to perform several families of physical attacks. Furthermore, its overhead is affordable and low as compared to state-of-the-art software protections. This research work could bring interesting applications to secured objects, which typically embed very few computing resources, and where traditional runtime code generation approaches cannot be applied. This work is achieved in the context of the project COGITO (program ANR INS 2013), that brigns the funding for this position. This PostDoc will focus on the use of deGoal for secured applications. The aim is to study how deGoal code generators can modify the binary code of a cryptographic algorithm at runtime in order to improve its level of security.

This position is open until it is filled.

Département: Département Architectures Conception et Logiciels Embarqués (LIST-LETI)
Laboratory: Laboratoire Infrastructure et Ateliers Logiciels pour Puces
Start Date: 01-10-2015
ECA Code: PsD-DRT-15-0042
Contact: damien.courousse<στο>cea.fr