Irina Gribanova | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Alexander Semenov
15 publications
Oleg Zaikin
6 publications
Stepan Kochemazov
6 publications
Ilya Otpuschennikov
4 publications

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...

0 Alexander Semenov, et al. ∙

research

∙ 07/04/2016

Encoding Cryptographic Functions to SAT Using Transalg System

In this paper we propose the technology for constructing propositional e...

0 Ilya Otpuschennikov, et al. ∙