Sonia Belaïd, Darius Mercadier, Matthieu Rivain, Abdul Rahman Taleb. IronMask: Versatile Verification of Masking Security. IACR Cryptology ePrint Archive, 2021:1671, 2021. [doi]
@article{BelaidMRT21,
title = {IronMask: Versatile Verification of Masking Security},
author = {Sonia Belaïd and Darius Mercadier and Matthieu Rivain and Abdul Rahman Taleb},
year = {2021},
url = {https://eprint.iacr.org/2021/1671},
researchr = {https://researchr.org/publication/BelaidMRT21},
cites = {0},
citedby = {0},
journal = {IACR Cryptology ePrint Archive},
volume = {2021},
pages = {1671},
}