IronMask: Versatile Verification of Masking Security - Archive ouverte HAL Access content directly
Conference Papers Year : 2022

IronMask: Versatile Verification of Masking Security

Sonia Belaid
  • Function : Author
Darius Mercadier
  • Function : Author
Matthieu Rivain
  • Function : Author
No file

Dates and versions

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

Identifiers

Cite

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⟩
20 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More