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