Encoding Cryptographic Functions to SAT Using TRANSALG System.

Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov

Browse the full ECAI paper archive.