Giters

Brissouille / Lagrange

Cryptanalysis on differents algorithms with z3 solver sat

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

RSA problem decryption

Brissouille opened this issue · comments

commented

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

commented

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

commented

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

commented

Spring Clean in this class

commented

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