First name
Matthieu
Last name
Rivain
Belaïd, S. ., Mercadier, D. ., Rivain, M. ., & Taleb, A. R. (2022). IronMask: Versatile Verification of Masking Security. In 2022 IEEE Symposium on Security and Privacy (SP) (p. 142—160).