search

Brissouille / Lagrange

Cryptanalysis on differents algorithms with z3 solver sat
GNU General Public License v3.0
17 stars 1 forks source link

Comments problem #13

Closed Brissouille closed 5 years ago

Brissouille commented 5 years ago

Probleme with a comment in aes.py line 224

Brissouille commented 5 years ago

Problem resolve with the dfa modification