search

Brissouille / Lagrange

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

Fault attacks in SHA2. #9

Closed Brissouille closed 4 years ago

Brissouille commented 5 years ago

The first is on the number of rounds. I must read the articles for the other.

Brissouille commented 5 years ago

I create the function preimage. It is not tested but I think it works. I must find an example to verify.

Brissouille commented 5 years ago

I change the digest function to print the hash in function of the round. Now, I can verify the preimage function thanks to an example. It works from 0 round to 5 rounds, but in the 6th round the preimage function is long.