On Cryptographic Attacks Using Backdoors for SAT

13 March 2018

Papers citing "On Cryptographic Attacks Using Backdoors for SAT"

3 / 3 papers shown

Title
Inverting Cryptographic Hash Functions via Cube-and-Conquer O. Zaikin 40 3 0 05 Dec 2022
Block Ciphers Substitution Box Generation Based on Natural Randomness in Underwater Acoustics and Knights Tour Chain Muhammad Fahad Khan Khalid Saleem T. Shah Mohammad Mazyad Hazzazi Ismail Bahkali P. Shukla 28 8 0 26 May 2022
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems A. Semenov I. Otpuschennikov I. Gribanova O. Zaikin S. Kochemazov 49 16 0 17 May 2018