Achieving Virtualization Trustworthiness Using Software Mechanisms. - Francois Serman; Michaël Hauspie (IMIS, 2016)

Reducing hardware TCB in favor of certifiable virtual machine monitor. (Réduction des besoins de confiance matérielle pour le développement d'un hyperviseur certifié). - Francois Serman (2016)