GitHub repository: ranea/CASCADA
Primary language: Python
Description: A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.