“FIVER – Robust Verification of Countermeasures against Fault Injections”, TCHES, vol. 2021, no. 4, pp. 447–473, Aug. 2021, doi: 10.46586/tches.v2021.i4.447-473.