Prikladnaya Diskretnaya Matematika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Prikl. Diskr. Mat.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Prikladnaya Diskretnaya Matematika, 2009, supplement № 1, Pages 19–20 (Mi pdm98)  

Mathematical Methods of Cryptography, Steganography and Coding

A hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems

A. S. Ignat'ev, A. A. Semenov, D. V. Bespalov, O. S. Zaikin
References:
Abstract: The report is supposed to consider the possibility of using binary decision diagrams (BDD) for the discrete function inversion in the parallel high-performance computing systems. We describe the architecture of a fundamentally new SAT-solver. The BDD-technology reducing the usage of memory which in turn keeps the search history lies in the basis of the solver. As testing problems we consider cryptanalysis of a number of key stream generators.
Document Type: Article
UDC: 519.7
Language: Russian
Citation: A. S. Ignat'ev, A. A. Semenov, D. V. Bespalov, O. S. Zaikin, “A hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems”, Prikl. Diskr. Mat., 2009, supplement № 1, 19–20
Citation in format AMSBIB
\Bibitem{IgnSemBes09}
\by A.~S.~Ignat'ev, A.~A.~Semenov, D.~V.~Bespalov, O.~S.~Zaikin
\paper A~hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems
\jour Prikl. Diskr. Mat.
\yr 2009
\pages 19--20
\issueinfo supplement № 1
\mathnet{http://mi.mathnet.ru/pdm98}
Linking options:
  • https://www.mathnet.ru/eng/pdm98
  • https://www.mathnet.ru/eng/pdm/y2009/i10/p19
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Прикладная дискретная математика
    Statistics & downloads:
    Abstract page:382
    Full-text PDF :118
    References:58
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024