Kryptoanaliza algebraiczna rodziny szyfrów blokowych SPECK

• Autorzy: Dudzic W.

Identyfikatory

DOI

10.15199/59.2018.8-9.49

Warianty tytułu

EN

Algebraic cryptoanalysis of the SPECK block cipher family

• Konferencja: Krajowe Sympozjum Telekomunikacji i Teleinformatyki (12-14.09.2018 ; Bydgoszcz, Polska)
• Języki publikacji: PL

Abstrakty

PL

Kryptoanaliza algebraiczna, jest stosunkowo młodym działem kryptologii, a jej dynamiczny rozwój następuje wraz z rozwojem tzw. SAT solverów. Stosowana jest przede wszystkim w badaniu bezpieczeństwa szyfrów blokowych i funkcji skrótu. Artykuł przedstawia wyniki badań związanych z wykorzystaniem SAT solverów i metod kryptoanalizy algebraicznej do analizy rodziny szyfrów blokowych SPECK.

EN

Algebraic cryptology is a relatively young department of cryptanalysis, and its dynamic development occurs along with the development of the so-called SATsolvers. It is used primarily in cryptanalysis of block ciphers and hash functions. The article presents the results of research related to the use of algebraic cryptanalysis methods for the analysis of the SPECK block cipher family.

Słowa kluczowe

PL

kryptoanaliza algebraiczna; szyfry blokowe; SAT solvery; SPECK

EN

algebraic cryptanalysis; block ciphers; SAT solvers; SPECK

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne
• Rocznik: 2018
• Tom: nr 8-9
• Strony: 775--778, CD
• Opis fizyczny: Bibliogr. 6 poz., rys., tab.

Twórcy

autor

Dudzic W.

• Wojskowa Akademia Techniczna, Wydział Cybernetyki, 00-908 Warszawa, ul. Gen. Witolda Urbanowicza 2

Bibliografia

• [1] Bard G. 2009. “Algebraic Cryptanalysis"
• [2] Beaulieu R., Shors D., Smith J., Treatman-Clark S., Weeks B., Wingers L. 2013. "The SIMON and SPECK Families of Lightweight Block Ciphers".
• [3] Cook S. 1971. "The complexity of theorem proving procedures". Proceedings of the Third Annual ACM Symposium on Theory of Computing.
• [4] Courtois N., Bard G. 2007. "Algebraic Cryptanalysis of the Data Encryption Standard".
• [5] Davis M., Putnam H., 1960. "A Computing Procedere for Quantification Theory". Journal of the ACM.
• [6] Davis M., Logemann G., Loveland D. 1962. "A Machine Program for Theorem Proving". Communications of the ACM.