Richter-Brockmann, J., Rezaei Shahmirzadi, A., Sasdrich, P., Moradi, A., & Güneysu, T. (2021). FIVER – Robust Verification of Countermeasures against Fault Injections. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021(4), 447–473. https://doi.org/10.46586/tches.v2021.i4.447-473