search

Brissouille / Lagrange

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

AES 4 rounds #18

Closed Brissouille closed 4 years ago

Brissouille commented 4 years ago

Implementation of Square Attack on 4 rounds

Brissouille commented 4 years ago

Implementation finished but not tested

Brissouille commented 4 years ago

Work finished