Brissouille / Lagrange

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

Simualate faulted cipher #15

Closed Brissouille closed 5 years ago

Brissouille commented 5 years ago

Create an encrypt function to simulate the cihper and faulted cipher

Brissouille commented 5 years ago

I can reuse the insert function. If I omit the variable A, K9 and K10, I can create a variable aes2 with a fault. I must refactor the code

Brissouille commented 5 years ago

I create the simulate function to reuse in two function: insert function which allows to use exploit function and retrieve K10 and test function because I haven't got any other names.

Brissouille commented 5 years ago

Problems with dfa are solved. I create 2 functions, encrypt and exploit: