Précédents séminaires

08/09/2020  •  A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking

Léo ROBERT, Doctorant

In this paper we propose a novel approach to the problem of deep attestation. Deep attestation is a particular case of remote attestation, a.k.a. verifying the integrity of a platform with a remote verification server. Currently, two solutions have been proposed by the ETSI for remote attestation of the hypervisors and hosted VMs. The first is called single-channel and requires the attestation of the hypervisors for each VM, while the other requires only one attestation of the hypervisor....