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).
First name
Darius
Last name
Mercadier