URSA: A System for Uniform Reduction to SAT

v1v2v3 (latest)

URSA: A System for Uniform Reduction to SAT

6 December 2010

Predrag Janičić

ArXiv (abs)PDF HTML

Papers citing "URSA: A System for Uniform Reduction to SAT"

4 / 4 papers shown

Title
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems A. Semenov I. Otpuschennikov I. Gribanova O. Zaikin S. Kochemazov 49 16 0 17 May 2018
Using Automatic Generation of Relaxation Constraints to Improve the Preimage Attack on 39-step MD4 I. Gribanova A. Semenov 32 7 0 20 Feb 2018
Encoding Cryptographic Functions to SAT Using Transalg System I. Otpuschennikov A. Semenov I. Gribanova O. Zaikin S. Kochemazov 41 27 0 04 Jul 2016
Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT I. Otpuschennikov A. Semenov S. Kochemazov 59 10 0 07 May 2014