search

Brissouille / Lagrange

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

RSA problem decryption #14

Closed Brissouille closed 5 years ago

Brissouille commented 5 years ago

RSA decryption function is too long. I used the same solver than encryption with d_00 == ....

Brissouille commented 5 years ago

I must change the solver to link e and d with the equation e * d == 1 % phi_n.

Brissouille commented 5 years ago

I create a function decryption to escape the decryption probleme but not working.

Brissouille commented 5 years ago

Spring Clean in this class

Brissouille commented 5 years ago

Problem solved with variables message associated with cipher and encrypted_message associated with plain. In my solution e and d are not linked by e * d == 1 % phi_n