Beta Version of Cryptographic Fault Diagnosis Tool (VerFI) - View it on GitHub