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