Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions

16 August 2016

Papers citing "Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions"

7 / 7 papers shown

Title
Machine Learning for SAT: Restricted Heuristics and New Graph Representations Mikhail Shirokikh Ilya Shenbin Anton M. Alekseev Sergey I. Nikolenko NAI 43 0 0 18 Jul 2023
Inverting Cryptographic Hash Functions via Cube-and-Conquer O. Zaikin 34 3 0 05 Dec 2022
CDCL(Crypto) SAT Solvers for Cryptanalysis Saeed Nejati Vijay Ganesh ELM 37 8 0 27 May 2020
How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections M. Ollivier Sébastien Bardin Richard Bonichon Jean-Yves Marion 30 32 0 05 Aug 2019
Using fuzzy bits and neural networks to partially invert few rounds of some cryptographic hash functions S. V. Goncharov 51 6 0 08 Jan 2019
$ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification$ ML + FV = $\heartsuit$ ? A Survey on the Application of Machine Learning to Formal Verification Moussa Amrani L. Lucio Adrien Bibal 53 5 0 10 Jun 2018
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems A. Semenov I. Otpuschennikov I. Gribanova O. Zaikin S. Kochemazov 33 16 0 17 May 2018