J. Richter-Brockmann, A. Rezaei Shahmirzadi, P. Sasdrich, A. Moradi, and T. Güneysu, “FIVER – Robust Verification of Countermeasures against Fault Injections”, TCHES, vol. 2021, no. 4, pp. 447–473, Aug. 2021.