ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1608.04720
  4. Cited By
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash
  Functions

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

16 August 2016
Saeed Nejati
J. Liang
Vijay Ganesh
C. Gebotys
Krzysztof Czarnecki
ArXiv (abs)PDFHTML

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
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
Inverting Cryptographic Hash Functions via Cube-and-Conquer
O. Zaikin
37
3
0
05 Dec 2022
CDCL(Crypto) SAT Solvers for Cryptanalysis
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
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
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
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