cryptosmt
cryptosmt copied to clipboard
An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
Fix https://github.com/kste/cryptosmt/issues/20
Caused by: https://github.com/yaml/pyyaml/issues/576 --- https://github.com/kste/cryptosmt/blob/c46d2884d639a0660142002a199268b8ebb5b3e4/cryptosmt.py#L116 Due to the "breaking" change introduced in PyYAML 6.0, the use of ```--inputfile``` argument now throws TypeError due to the missing Loader argument. It seems...
Hi, I executed the following command and obtained the results given below. I have a few queries regarding the output: 1. Current probability is greater than 1. What does the...
Are the weight's value inversely proportional to the cipher's security?
- Add linear analysis of PRESENT
Hey, firstly, I really appreciate the work you have put in this project. The amount of supported ciphers that have accumulated over the years is impressive. I am currently working...
add new cipher as a example
add new cipher as a example