Factoring semi-primes with (quantum) SAT-solvers

Abstract The computational difficulty of factoring large integers forms the basis of security for RSA public-key cryptography. The best-known factoring algorithms for classical computers run in sub-exponential time. The integer factorization problem can be reduced to the Boolean Satisfiability probl...

Full description

Bibliographic Details
Main Authors: Michele Mosca, Sebastian R. Verschoor
Format: Article
Language:English
Published: Nature Portfolio 2022-05-01
Series:Scientific Reports
Online Access:https://doi.org/10.1038/s41598-022-11687-7