Encoding Cryptographic Functions to SAT Using Transalg System

4 July 2016

Papers citing "Encoding Cryptographic Functions to SAT Using Transalg System"

7 / 7 papers shown

Title
Inverting Cryptographic Hash Functions via Cube-and-Conquer O. Zaikin 40 3 0 05 Dec 2022
ML Supported Predictions for SAT Solvers Performance Anastasia-Maria Leventi-Peetz J.-V. Peetz Martina Rohde LRM 38 0 0 17 Dec 2021
CDCL(Crypto) SAT Solvers for Cryptanalysis Saeed Nejati Vijay Ganesh ELM 45 8 0 27 May 2020
Merging variables: one technique of search in pseudo-Boolean optimization A. Semenov 21 3 0 02 Aug 2019
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
On Cryptographic Attacks Using Backdoors for SAT A. Semenov O. Zaikin I. Otpuschennikov S. Kochemazov Alexey Ignatiev AAML 26 28 0 13 Mar 2018
Using Automatic Generation of Relaxation Constraints to Improve the Preimage Attack on 39-step MD4 I. Gribanova A. Semenov 35 7 0 20 Feb 2018