FIVER – Robust Verification of Countermeasures Against Fault Injections. TCHES 2021, 2021 (4), 447-473. https://doi.org/10.46586/tches.v2021.i4.447-473.