Ilya Otpuschennikov | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Alexey Ignatiev
20 publications
Alexander Semenov
15 publications
Oleg Zaikin
6 publications
Stepan Kochemazov
6 publications
Irina Gribanova
2 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

∙ 03/13/2018

On Cryptographic Attacks Using Backdoors for SAT

Propositional satisfiability (SAT) is at the nucleus of state-of-the-art...

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

research

∙ 05/07/2014

Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT

In this paper we present the Transalg system, designed to produce SAT en...

0 Ilya Otpuschennikov, et al. ∙