## An improved degree evaluation method of NFSR-based cryptosystems.(English)Zbl 1477.94064

Summary: In this paper, we study the algebraic degree evaluation of NFSR-based cryptosystems. The degree evaluation method based on the numeric mapping proposed by M. Liu [Lect. Notes Comput. Sci. 10403, 227–249 (2017; Zbl 1406.94073)] is very fast and could be applied to a cube of any size. The numeric degree of $$f_1(x,v)\times f_2(x,v)$$ is estimated as $$D_1+D_2$$, where $$D_1$$ and $$D_2$$ are the numeric degrees of $$f_1$$ and $$f_2$$ respectively and the algebraic degree of a function is no more than its numeric degree. It can be observed that some variables may be counted twice in $$D_1+D_2$$ and the precise of the numerical mapping heavily depends on how many variables are counted redundantly. When applied to an iterative cryptosystem, such redundances will accumulate during iteratively computing numeric degrees. This is an important factor accounting for the difference between the numeric degree and the algebraic degree of a cryptosystem. To reduce this difference, a new framework on the degree evaluation algorithm based on the numeric mapping is proposed. The main idea is to identify variables which are repeatedly counted in the numeric mapping and eliminate the redundant degrees on these variables. As illustrations, a concrete algorithm on Trivium-like ciphers is given which is shown to be useful in correlation cube attacks and the zero-sum distinguisher search. For correlation cube attacks on $$835$$-round Trivium, we find some more useful cubes so that we could recover about $$1.5$$ more bits at a cost of $$2^{40.7}$$. Furthermore, we find several cubes leading to zero-sum distinguishers for Kreyvium variants with from $$875$$ to $$880$$ initialization rounds.

### MSC:

 94A60 Cryptography 94A55 Shift register sequences and sequences over finite alphabets in information and communication theory

Zbl 1406.94073

### Software:

Quark; Grain; Trivium; KATAN; KTANTAN
Full Text:
{"ft_lang_label":"__label__en","ft_lang_prob":0.6056846,"math_prob":0.99614745,"size":11525,"snap":"2022-27-2022-33","text_gpt3_token_len":3406,"char_repetition_ratio":0.12794028,"word_repetition_ratio":0.10536044,"special_character_ratio":0.33067244,"punctuation_ratio":0.28885338,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9992084,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-07-02T14:25:32Z\",\"WARC-Record-ID\":\"<urn:uuid:83bcf08c-1756-41c5-9d69-95e43d3eae42>\",\"Content-Length\":\"67011\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:04b14cd7-0996-4b23-8f92-4e841d786255>\",\"WARC-Concurrent-To\":\"<urn:uuid:fc2335e9-5f80-4d96-9675-cbca1fe9d968>\",\"WARC-IP-Address\":\"141.66.194.2\",\"WARC-Target-URI\":\"https://zbmath.org/?q=an:07424775\",\"WARC-Payload-Digest\":\"sha1:IWRNR3CPUWGQGDHQF4H3K76GFHSAG6WY\",\"WARC-Block-Digest\":\"sha1:44UFULQL5OEFJXX4L34K4QXLY4ZG2FM4\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-27/CC-MAIN-2022-27_segments_1656104141372.60_warc_CC-MAIN-20220702131941-20220702161941-00097.warc.gz\"}"}