New results in SAT – cryptanalysis of the AES
New results in SAT – cryptanalysis of the AES
StatusVoR
Alternative title
Authors
Stachowiak, Sylwia
Kurkowski, Mirosław
Soboń, Artur
Monograph
2022 IEEE 16th International Scientific Conference on Informatics (Informatics)
Monograph (alternative title)
Editor
Steingartner, William
Korečko, Štefan
Szakál, Anikó
Date
2022-11-23
Place of publication
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Journal title
2022 IEEE 16th International Scientific Conference on Informatics (Informatics)
Volume
Pages
280-286
ISSN
ISBN
9798350310344
eISBN
Series
Series number
ISSN of series
Access date
2024-07-11
Remarks
Abstract PL
Abstract EN
Many 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.
Abstract other
Keywords PL
Keywords EN
AES
symmetric ciphers
satisfiability
SAT-based cryptanalysis
symmetric ciphers
satisfiability
SAT-based cryptanalysis
Keywords other
Conference edition name
2022 IEEE 16th International Scientific Conference on Informatics
Conference place
Poprad
Start date
2022-11-23
Finish date
2022-11-25
Exhibition title
Place of exhibition (institution)
Exhibition curator
Organisational Unit
Wydział Projektowania w Warszawie
Type
Version
Version of Record
License type
Funder
Time range from
Time range to
Contact person name
item.page.relation.dataset
Related publication
Related publication
Grant/project name
Collections
Views
Acquisition Date7.09.2024
Downloads
Acquisition Date7.09.2024