IronMask: Versatile Verification of Masking Security - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

IronMask: Versatile Verification of Masking Security

Sonia Belaid
  • Fonction : Auteur
Darius Mercadier
  • Fonction : Auteur
Matthieu Rivain
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-03774993 , version 1 (12-09-2022)

Identifiants

Citer

Sonia Belaid, Darius Mercadier, Matthieu Rivain, Abdul Rahman Taleb. IronMask: Versatile Verification of Masking Security. 2022 IEEE Symposium on Security and Privacy (SP), May 2022, San Francisco, United States. pp.142-160, ⟨10.1109/SP46214.2022.9833600⟩. ⟨hal-03774993⟩
21 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More