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