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. 1805.07239
  4. Cited By
Translation of Algorithmic Descriptions of Discrete Functions to SAT
  with Applications to Cryptanalysis Problems
v1v2v3v4v5 (latest)

Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems

17 May 2018
A. Semenov
I. Otpuschennikov
I. Gribanova
O. Zaikin
S. Kochemazov
ArXiv (abs)PDFHTML

Papers citing "Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems"

2 / 2 papers shown
Title
Inverting Cryptographic Hash Functions via Cube-and-Conquer
Inverting Cryptographic Hash Functions via Cube-and-Conquer
O. Zaikin
34
3
0
05 Dec 2022
Estimating the hardness of SAT encodings for Logical Equivalence
  Checking of Boolean circuits
Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits
Alexander A. Semenov
K. Chukharev
Egor Tarasov
D. Chivilikhin
Viktor Kondratiev
33
1
0
04 Oct 2022
1