Richter-Brockmann, Jan, Aein Rezaei Shahmirzadi, Pascal Sasdrich, Amir Moradi, and Tim Güneysu. 2021. “FIVER – Robust Verification of Countermeasures Against Fault Injections”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2021 (4):447-73. https://doi.org/10.46586/tches.v2021.i4.447-473.