Encoding Cryptographic Functions to SAT Using Transalg System

4 Jul 2016Ilya OtpuschennikovAlexander SemenovIrina GribanovaOleg ZaikinStepan Kochemazov

In this paper we propose the technology for constructing propositional encodings of discrete functions. It is aimed at solving inversion problems of considered functions using state-of-the-art SAT solvers... (read more)

PDF Abstract


No code implementations yet. Submit your code now

Results from the Paper

  Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.