Richter-Brockmann, J.; Rezaei Shahmirzadi, A.; Sasdrich, P.; Moradi, A.; Güneysu, T. FIVER – Robust Verification of Countermeasures Against Fault Injections. TCHES 2021, 2021, 447-473.