Search Results for author:
Found 4 papers, 1 papers with code
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
We demonstrate the results of applications of Transalg to construction of a number of attacks on various cryptographic functions.
On Cryptographic Attacks Using Backdoors for SAT
Propositional satisfiability (SAT) is at the nucleus of state-of-the-art approaches to a variety of computationally hard problems, one of which is cryptanalysis.
Encoding Cryptographic Functions to SAT Using Transalg System
We implemented this technology in the form of the software system called Transalg, and used it to construct SAT encodings for a number of cryptanalysis problems.
Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT
In this paper we present the Transalg system, designed to produce SAT encodings for discrete functions, written as programs in a specific language.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
