codes's repositories
The-Simplest-SAT-Model
The souce codes of the simplest SAT model of combining Matsui's bounding conditions with sequence encoding method
000
security-criterion
A new security criterion of S-box based on division property an d its applications
000