Catégorie Rapport Auteurs Thomas Letan Pierre Chifflier Guillaume Hiet Pierre Néron Benjamin Morin https://inria.hal.science/hal-01356690v1 doc ID 1360383 Nom SpecCert: Specifying and Verifying Hardware-based Security Enforcement Date de publication ven 28/03/2025 - 12:00