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