research
∙
12/05/2022
Inverting Cryptographic Hash Functions via Cube-and-Conquer
MD4 and MD5 are seminal cryptographic hash functions proposed in early 1...
share
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...
research
∙
03/13/2018
On Cryptographic Attacks Using Backdoors for SAT
Propositional satisfiability (SAT) is at the nucleus of state-of-the-art...
research
∙
09/08/2017
Fast Algorithm for Enumerating Diagonal Latin Squares of Small Order
In this paper we propose an algorithm for enumerating diagonal Latin squ...
research
∙
07/04/2016
Encoding Cryptographic Functions to SAT Using Transalg System
In this paper we propose the technology for constructing propositional e...
research
∙
08/04/2013