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
Matthieu
Last name
Rivain