search

kste / cryptosmt

An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
MIT License
89 stars 36 forks source link

Create NewCipher #22

Closed Hazim-Nomanabed closed 2 years ago