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