Richter-Brockmann, J.; Rezaei Shahmirzadi, A.; Sasdrich, P.; Moradi, A.; Güneysu, T. FIVER – Robust Verification of Countermeasures Against Fault Injections. TCHES 2021, 2021 (4), 447-473. https://doi.org/10.46586/tches.v2021.i4.447-473.