Partial mathematical modeling and analysis of the AES system

StatusVoR
cris.lastimport.scopus2024-07-16T03:11:06Z
dc.abstract.enMany types of decision problems can be solved using mathematical modeling and analysis. Such techniques are also developed on the border of mathematical logic and computer science. A good example is the translation of the issues examined into the Satisfiability Problem (SAT) of a logical propositional formula. Unfortunately, this method is not always practical, considering the high computational complexity of solving the SAT problem. It often happens that in the studied cases, the encoding formulas contain even hundreds of thousands of clauses and propositional variables. However, even in these cases, modern SAT solvers can sometimes successfully solve these problems. This approach can be used to cryptanalyze some symmetric ciphers or parts/modifications. In this case, the encryption algorithm is first translated into a boolean formula. Then additional formulas are created to encode randomly selected plaintext and the key bits. Using the SAT solver; we can count the values of the ciphertext bits. Then, using the SAT solver again, we proceed to the cryptanalysis of the cipher with the selected plaintext and proper ciphertext, looking for the bits of the encryption key. In this paper, we will present the new results of how SAT techniques behave against representative fragments of the AES cipher, the current standard for symmetric encryption. We also compare the results obtained in this case by several SAT solvers. In addition, we present the results of the SAT-solver CryptoMiniSat obtained during the attack on the 1st round of the AES-128 cipher.
dc.affiliationWydział Projektowania
dc.affiliationWydział Projektowania w Warszawie
dc.contributor.authorStachowiak, Sylwia
dc.contributor.authorKurkowski, Mirosław
dc.date.access2023-11
dc.date.accessioned2024-07-09T11:01:01Z
dc.date.available2024-07-09T11:01:01Z
dc.date.created2023-10-08
dc.date.issued2023-11
dc.description.accesstimeat_publication
dc.description.issue4
dc.description.physical64-78
dc.description.versionfinal_published
dc.description.volume22
dc.identifier.doi10.17512/jamcm.2023.4.06
dc.identifier.eissn2353-0588
dc.identifier.issn2299-9965
dc.identifier.urihttps://share.swps.edu.pl/handle/swps/783
dc.identifier.weblinkhttps://amcm.pcz.pl/?id=view&volume=22&issue=4&article=6
dc.languageen
dc.pbn.affiliationinformatyka
dc.rightsCC-BY-NC-ND
dc.rights.explanationNie wiem czy może być upublicznione np. ze względów prawnych.
dc.rights.questionYes_rights
dc.share.articleOPEN_JOURNAL
dc.subject.enmathematical modeling
dc.subject.enAES
dc.subject.ensymmetric ciphers
dc.subject.ensatisfiability
dc.subject.enSAT-based cryptanalysis
dc.swps.sciencecloudsend
dc.titlePartial mathematical modeling and analysis of the AES system
dc.title.journalJournal of Applied Mathematics and Computational Mechanics
dc.typeJournalArticle
dspace.entity.typeArticle