research
∙
05/17/2018
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
In the present paper we describe the technology for translating algorith...
share
research
∙
03/13/2018
On Cryptographic Attacks Using Backdoors for SAT
Propositional satisfiability (SAT) is at the nucleus of state-of-the-art...
research
∙
07/04/2016
Encoding Cryptographic Functions to SAT Using Transalg System
In this paper we propose the technology for constructing propositional e...
research
∙
05/07/2014