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
∙
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
∙
10/29/2014
Using synchronous Boolean networks to model several phenomena of collective behavior
In this paper, we propose an approach for modeling and analysis of a num...
research
∙
05/07/2014