Practical and Privacy-Preserving TEE Migration

Ghada Arfaoui (1, 2) , Jean-François Lalande (3, 4) , Saïd Gharout (5) , Jacques Traoré (1)

1 Orange Labs [Caen]
2 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
3 INSA CVL - Institut National des Sciences Appliquées - Centre Val de Loire
4 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
5 Orange Labs [Issy les Moulineaux]

Running within the TEE, the Trusted Applications (TA) belong to diverse service providers. Each TA manipulates a profile, constituted of secret credentials and user’s private data. Normally, a user should be able to transfer his TEE profiles from a TEE to another compliant TEE. However, TEE profile migration implies security and privacy issues in particular for TEE profiles that require explicit agreement of the service provider. In this paper, we first present our perception of the deployment and implementation of a TEE: we organize the TEE into security domains with different roles and privileges. Based on this new model, we build a migration protocol of TEE profiles ensuring its confidentiality and integrity. To this end, we use a reencryption key and an authorization token per couple of devices, per service provider and per transfer. The proposed protocol has been successfully validated by AVISPA, an automated security protocol validation tool.

Mots clés: TEE; Credential transfer; Privacy

Domaines: Cryptographie et sécurité [cs.CR]

Ghada Arfaoui, Jean-François Lalande, Saïd Gharout, Jacques Traoré. Practical and Privacy-Preserving TEE Migration. 9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Greece. pp.153-168, ⟨10.1007/978-3-319-24018-3_10⟩. ⟨hal-01183508⟩