Picture for Irina Gribanova

Irina Gribanova

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

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