Arribas, V., et al.. Cryptographic Fault Diagnosis Using Verfi. IEEE, 2020, doi:10.1109/host45689.2020.9300264.