Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT

05/07/2014
by   Ilya Otpuschennikov, et al.
0

In this paper we present the Transalg system, designed to produce SAT encodings for discrete functions, written as programs in a specific language. Translation of such programs to SAT is based on propositional encoding methods for formal computing models and on the concept of symbolic execution. We used the Transalg system to make SAT encodings for a number of cryptographic functions.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset