Describir: Fault Detection in Crypto-Devices