search

Open-CP / OCP

Open Cryptanalysis Platform
MIT License
0 stars 0 forks source link

issue with the AES binary matrix #4

Open thomaspeyrin opened 4 days ago

thomaspeyrin commented 4 days ago

It is currently not the good one

ChunningZhou commented 2 days ago

The issue with the AES binary matrix has been resolved, and the MILP modeling for the matrix has been successfully completed. The SAT modeling for the matrix will be addressed later.