Roy, I., Rebeiro, C., Hazra, A., & Bhunia, S. (2020). SAFARI: Automatic Synthesis of Fault-Attack Resistant Block Cipher Implementations. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 (4), 752-765.