This repository contains the source code for the paper "Full-Round Impossible Differential Attack on Shadow Block Cipher".
-
Main components of the codes The main function(Algorithm 3 of the paper) is Shadow_impossible.py. The modeling of basic operations(Algorithm 2 of the paper) is dcp_model.py.
-
How to use codes
First we need to install STP and CRYPTOMINISAT.
Type python3 Shadow_impossible.py in the console to run the program.