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