A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
Primary LanguagePythonMIT LicenseMIT