Security at the Hardware/Software Interface

Hdr Année : 2021

(1)

1

Guillaume Hiet

computer security intrusion detection intrusion response formal methods

sécurité informatique détection d'intrusion réponse aux intrusions méthodes formelles

Cryptographie et sécurité [cs.CR]

Fichier principal

hdr_manuscript.pdf (1.02 Mo)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/tel-03511334

Soumis le : jeudi 6 janvier 2022-22:43:39

Dernière modification le : mardi 12 décembre 2023-09:55:44

Archivage à long terme le : jeudi 7 avril 2022-18:23:23

tel-03511334 , version 1 (06-01-2022)

Guillaume Hiet. Security at the Hardware/Software Interface. Cryptography and Security [cs.CR]. Université de Rennes 1, 2021. ⟨tel-03511334⟩

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA SUP_CIDRE CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM CYBERSCHOOL

393 Consultations

817 Téléchargements