New results in SAT – cryptanalysis of the AES

StatusVoR
Simple item page
dc.abstract.enMany significant computational problems can be converted to SAT problems. Although these problems are often encoded by formulas with hundreds of thousands of clauses and propositional variables such formulas can sometimes be effectively solved by contemporary SAT solvers. Such solvers can be successfully used for cryptanalysis of symmetric ciphers. In this case, operations of the cipher are written in the form of Boolean formulas. Then, together with randomly selected bits of the plaintext and the key, it is transformed into a set of clauses corresponding to the encryption of the given algorithm. The ciphertext obtained using SAT solvers is used to create a set of decryption clauses. Using the SAT solver again, we go to the cryptanalysis of the cipher with the selected open text, looking for the bits of the encryption key. In this article, we examine how SAT techniques behave to the AES cipher, the current standard for symmetric encryption. We also compare the results obtained in this case by several SAT solvers.
dc.affiliationWydział Projektowania w Warszawie
dc.conference2022 IEEE 16th International Scientific Conference on Informatics
dc.conference.countrySłowacja
dc.conference.datefinish2022-11-25
dc.conference.datestart2022-11-23
dc.conference.placePoprad
dc.conference.seriesIEEE International Scientific Conference on Informatics
dc.conference.seriesshortcutInformatics
dc.conference.shortcutInformatics
dc.contributor.authorStachowiak, Sylwia
dc.contributor.authorKurkowski, Mirosław
dc.contributor.authorSoboń, Artur
dc.contributor.editorSteingartner, William
dc.contributor.editorKorečko, Štefan
dc.contributor.editorSzakál, Anikó
dc.date.access2024-07-11
dc.date.accessioned2024-07-11T09:16:13Z
dc.date.available2024-07-11T09:16:13Z
dc.date.created2022
dc.date.issued2022-11-23
dc.description.accesstimeat_publication
dc.description.physical280-286
dc.description.versionfinal_published
dc.identifier.doi10.1109/Informatics57926.2022.10083461
dc.identifier.isbn9798350310344
dc.identifier.urihttps://share.swps.edu.pl/handle/swps/789
dc.identifier.weblinkhttps://ieeexplore.ieee.org/document/10083461
dc.languageen
dc.pbn.affiliationinformatyka
dc.publisher.ministerialInstitute of Electrical and Electronics Engineers (IEEE)
dc.relation.book2022 IEEE 16th International Scientific Conference on Informatics (Informatics)
dc.relation.pages378
dc.rightsClosedAccess
dc.rights.explanationzamknięty dostęp do monografii
dc.rights.questionNo_rights
dc.share.monoOPEN_REPOSITORY
dc.subject.enAES
dc.subject.ensymmetric ciphers
dc.subject.ensatisfiability
dc.subject.enSAT-based cryptanalysis
dc.swps.sciencecloudsend
dc.titleNew results in SAT – cryptanalysis of the AES
dc.title.journal2022 IEEE 16th International Scientific Conference on Informatics (Informatics)
dc.typeMonographyChapterConference
dspace.entity.typeBook