XFC: A Framework for eXploitable Fault Characterization in Block Ciphers. - Punit Khanna; Chester Rebeiro; Aritra Hazra (DAC, 2017)