Citation Context

...the SAT solvers to the latter problem. 2.2 Encoding Inversion Problems of Cryptographic Functions to SAT Using the Transalg System In this section we will briefly describe the TRANSALG program system =-=[34]-=- that was designed specifically to reduce inversion problems of cryptographic functions to SAT. The original function f should first be represented in the form of the special TA-program A. TA-programs...