Richter-Brockmann, J. (2021) “FIVER – Robust Verification of Countermeasures against Fault Injections”, IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021(4), pp. 447–473. doi: 10.46586/tches.v2021.i4.447-473.