GLOBAL OPTIMIZATION PROBLEMS ASSOCIATED WITH CRYPTOGRAPHIC ANALYSIS OF ASYMMETRIC CIPHERS | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2008. № 2(2).

The aim of this article is to establish relation between well-known problems of cryptographic analysis and global optimization problems which can be associated with SAT representation of cryptographic algorithms where bits of key are part of SAT solution string. The SAT forms for factorization problem, for logarithmic problem and for logarithmic problem on elliptic curves are constructed. For numerical solution, some low relaxation algorithms are adapted. The results of numerical experiments give us more then 50% bits for unknowns in SAT factorization form