Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1608.04720
Cited By
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions
16 August 2016
Saeed Nejati
J. Liang
Vijay Ganesh
C. Gebotys
Krzysztof Czarnecki
Re-assign community
ArXiv (abs)
PDF
HTML
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
37
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
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
46
16
0
17 May 2018
1