Richter-Brockmann, Jan, et al. “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, doi:10.46586/tches.v2021.i4.447-473.