SAT and Lattice Reduction for Integer Factorization

Yameen Ajani, Curtis Bright

The difficulty of factoring large integers into primes is the basis for cryptosystems such as RSA. Due to the widespread popularity of RSA, there have been many proposed attacks on…