Picture for Stepan Kochemazov

Stepan Kochemazov

Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems

Add code
May 17, 2018
Figure 1 for Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
Figure 2 for Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
Figure 3 for Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
Figure 4 for Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
Viaarxiv icon

On Cryptographic Attacks Using Backdoors for SAT

Add code
Mar 13, 2018
Figure 1 for On Cryptographic Attacks Using Backdoors for SAT
Viaarxiv icon

Encoding Cryptographic Functions to SAT Using Transalg System

Add code
Jul 04, 2016
Figure 1 for Encoding Cryptographic Functions to SAT Using Transalg System
Figure 2 for Encoding Cryptographic Functions to SAT Using Transalg System
Figure 3 for Encoding Cryptographic Functions to SAT Using Transalg System
Figure 4 for Encoding Cryptographic Functions to SAT Using Transalg System
Viaarxiv icon

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

Add code
Oct 29, 2015
Figure 1 for Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT
Figure 2 for Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT
Viaarxiv icon

Using synchronous Boolean networks to model several phenomena of collective behavior

Add code
Oct 29, 2014
Figure 1 for Using synchronous Boolean networks to model several phenomena of collective behavior
Figure 2 for Using synchronous Boolean networks to model several phenomena of collective behavior
Figure 3 for Using synchronous Boolean networks to model several phenomena of collective behavior
Figure 4 for Using synchronous Boolean networks to model several phenomena of collective behavior
Viaarxiv icon