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