Remote Attestation of Bare-Metal Microprocessor Software: A Formally Verified Security Monitor. - Jonathan Certes; Benoît Morgan (DEXA Workshops, 2021)

Méthodes et modèles pour la vérification formelle de l'attestation à distance sur microprocesseur. (Method and models for formal verification of remote attestation on microprocessors). - Jonathan Certes (2023)