2021. FIVER – Robust Verification of Countermeasures against Fault Injections. IACR Transactions on Cryptographic Hardware and Embedded Systems. 2021, 4 (Aug. 2021), 447–473. DOI:https://doi.org/10.46586/tches.v2021.i4.447-473.