search

Brissouille / Lagrange

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

RSA attack to implement #10

Closed Brissouille closed 4 years ago

Brissouille commented 5 years ago

The Rsa exponentiation works. I must immplement now an attack

Brissouille commented 5 years ago

What is the attack must I implement ? Dan Boneh article can be a good way

Brissouille commented 5 years ago

Waiting on the RSA decryption probleme is solved to implement an attack

Brissouille commented 5 years ago

Adding attacks based on coppersmith. Adding crt attacks

Brissouille commented 5 years ago

In one computer, the crt attacks works but in other computer (older), it doesn't work. I think the solver parameters are not the same and depend on the context.