{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T21:01:47Z","timestamp":1784926907155,"version":"3.55.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2023,7,7]],"date-time":"2023-07-07T00:00:00Z","timestamp":1688688000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,7,7]],"date-time":"2023-07-07T00:00:00Z","timestamp":1688688000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62102448"],"award-info":[{"award-number":["62102448"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62202493"],"award-info":[{"award-number":["62202493"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Des. Codes Cryptogr."],"published-print":{"date-parts":[[2023,11]]},"DOI":"10.1007\/s10623-023-01259-9","type":"journal-article","created":{"date-parts":[[2023,7,7]],"date-time":"2023-07-07T08:02:24Z","timestamp":1688716944000},"page":"3603-3642","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["New method for combining Matsui\u2019s bounding conditions with sequential encoding method"],"prefix":"10.1007","volume":"91","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2306-3720","authenticated-orcid":false,"given":"Senpeng","family":"Wang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dengguo","family":"Feng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bin","family":"Hu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jie","family":"Guan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kai","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tairong","family":"Shi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,7,7]]},"reference":[{"issue":"4","key":"1259_CR1","doi-asserted-by":"publisher","first-page":"99","DOI":"10.46586\/tosc.v2017.i4.99-129","volume":"2017","author":"Yu Ahmed Abdelkhalek","year":"2017","unstructured":"Ahmed Abdelkhalek Yu., Sasaki Y.T., Tolba M., Youssef A.M.: MILP modeling for (large) s-boxes to optimize probability of differential characteristics. IACR Trans. Symmetric Cryptol. 2017(4), 99\u2013129 (2017).","journal-title":"IACR Trans. Symmetric Cryptol."},{"key":"1259_CR2","doi-asserted-by":"crossref","unstructured":"Banik S., Pandey S.K., Peyrin T., Sasaki Y., Sim S.M., Todo Y.: GIFT: A small present - towards reaching the limit of lightweight encryption. In Wieland Fischer and Naofumi Homma, editors, Cryptographic Hardware and Embedded Systems - CHES 2017 - 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings, volume 10529 of Lecture Notes in Computer Science, pages 321\u2013345. Springer, 2017.","DOI":"10.1007\/978-3-319-66787-4_16"},{"key":"1259_CR3","unstructured":"Beaulieu R., Shors D., Smith J., Treatman-Clark S., Weeks B., Wingers L.: The SIMON and SPECK families of lightweight block ciphers. IACR Cryptol. ePrint Arch., p. 404 (2013)."},{"key":"1259_CR4","unstructured":"Biere A.: Cadical at the sat race 2019. In Heule M., J\u00e4rvisalo M., Suda M. (Ed.) SAT Race 2019\u2014Solver and Benchmark Descriptions,Theory and Applications of Satisfiability Testing\u2014SAT 2009, volume B-2019-1, pp. 8\u20139. University of Helsinki (2019)."},{"key":"1259_CR5","doi-asserted-by":"crossref","unstructured":"Biham E., Shamir A.: Differential cryptanalysis of des-like cryptosystems. In Alfred Menezes and Scott\u00a0A. Vanstone, editors, Advances in Cryptology\u2014CRYPTO \u201990, Santa Barbara, California, USA, August 11\u201315, 1990, Proceedings, volume 537 of Lecture Notes in Computer Science, pp.\u00a02\u201321. Springer (1990).","DOI":"10.1007\/3-540-38424-3_1"},{"key":"1259_CR6","doi-asserted-by":"crossref","unstructured":"Bogdanov A., Knudsen L.R., Leander G., Paar C., Poschmann A., Robshaw M.J.B., Seurin Y., Vikkelsoe C.: PRESENT: an ultra-lightweight block cipher. In: Paillier P., Verbauwhede I. (Eds.) Cryptographic Hardware and Embedded Systems - CHES 2007, 9th International Workshop, Vienna, Austria, September 10\u201313, 2007, Proceedings, volume 4727 of Lecture Notes in Computer Science, pp.\u00a0450\u2013466. Springer (2007).","DOI":"10.1007\/978-3-540-74735-2_31"},{"issue":"3","key":"1259_CR7","doi-asserted-by":"publisher","first-page":"327","DOI":"10.46586\/tosc.v2020.i3.327-361","volume":"2020","author":"C Boura","year":"2020","unstructured":"Boura C., Coggia D.: Efficient MILP modelings for sboxes and linear layers of SPN ciphers. IACR Trans. Symmetric Cryptol. 2020(3), 327\u2013361 (2020).","journal-title":"IACR Trans. Symmetric Cryptol."},{"key":"1259_CR8","unstructured":"Cui T., Jia K., Fu K., Chen S., Wang M.: New automatic search tool for impossible differentials and zero-correlation linear approximations. IACR Cryptol. ePrint Arch., p. 689 (2016)."},{"issue":"1","key":"1259_CR9","doi-asserted-by":"publisher","first-page":"64","DOI":"10.46586\/tosc.v2022.i1.64-87","volume":"2022","author":"J Erlacher","year":"2022","unstructured":"Erlacher J., Mendel F., Eichlseder M.: Bounds for the security of ascon against differential and linear cryptanalysis. IACR Trans. Symmetric Cryptol. 2022(1), 64\u201387 (2022).","journal-title":"IACR Trans. Symmetric Cryptol."},{"key":"1259_CR10","doi-asserted-by":"crossref","unstructured":"Fu K., Wang M., Guo Y., Sun S., Hu L.: Milp-based automatic search algorithms for differential and linear trails for speck. In: Peyrin T. (Ed.) Fast Software Encryption\u201423rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers, volume 9783 of Lecture Notes in Computer Science, pp. 268\u2013288. Springer (2016).","DOI":"10.1007\/978-3-662-52993-5_14"},{"key":"1259_CR11","unstructured":"Gu Z., Rothberg E., Bixby R.: Gurobi optimizer. http:\/\/www.gurobi.com\/."},{"issue":"2","key":"1259_CR12","doi-asserted-by":"publisher","first-page":"201","DOI":"10.46586\/tosc.v2022.i2.201-252","volume":"2022","author":"S Kim","year":"2022","unstructured":"Kim S., Hong D., Sung J., Hong S.: Accelerating the best trail search on aes-like ciphers. IACR Trans. Symmetric Cryptol. 2022(2), 201\u2013252 (2022).","journal-title":"IACR Trans. Symmetric Cryptol."},{"key":"1259_CR13","doi-asserted-by":"crossref","unstructured":"K\u00f6lbl S., Leander G., Tiessen T.: Observations on the SIMON block cipher family. In Gennaro R., Robshaw M. (Eds.) Advances in Cryptology\u2014CRYPTO 2015\u201435th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16\u201320, 2015, Proceedings, Part I, volume 9215 of Lecture Notes in Computer Science, pages 161\u2013185. Springer (2015).","DOI":"10.1007\/978-3-662-47989-6_8"},{"issue":"3","key":"1259_CR14","doi-asserted-by":"publisher","first-page":"341","DOI":"10.46586\/tosc.v2022.i3.341-367","volume":"2022","author":"T Li","year":"2022","unstructured":"Li T., Sun Y.: Superball: a new approach for MILP modelings of boolean functions. IACR Trans. Symmetric Cryptol. 2022(3), 341\u2013367 (2022).","journal-title":"IACR Trans. Symmetric Cryptol."},{"key":"1259_CR15","doi-asserted-by":"crossref","unstructured":"Liu Y., Liang H., Li M., Huang L., Hu K., Yang C. Wang M.: STP models of optimal differential and linear trail for s-box based ciphers. Sci. China Inf. Sci. 64(5) (2021).","DOI":"10.1007\/s11432-018-9772-0"},{"key":"1259_CR16","doi-asserted-by":"crossref","unstructured":"Liu Y., Wang Q., Rijmen V.: Automatic search of linear trails in ARX with applications to SPECK and chaskey. In Manulis M., Sadeghi A-.R., Schneider S.A. (Eds.) Applied Cryptography and Network Security\u201414th International Conference, ACNS 2016, Guildford, UK, June 19\u201322, 2016. Proceedings, volume 9696 of Lecture Notes in Computer Science, pp. 485\u2013499. Springer (2016).","DOI":"10.1007\/978-3-319-39555-5_26"},{"issue":"2","key":"1259_CR17","doi-asserted-by":"publisher","first-page":"1054","DOI":"10.1109\/TIT.2020.3040543","volume":"67","author":"Z Liu","year":"2021","unstructured":"Liu Z., Li Y., Jiao L., Wang M.: A new method for searching optimal differential and linear trails in ARX ciphers. IEEE Trans. Inf. Theory 67(2), 1054\u20131068 (2021).","journal-title":"IEEE Trans. Inf. Theory"},{"key":"1259_CR18","doi-asserted-by":"crossref","unstructured":"Matsui M.: Linear cryptanalysis method for DES cipher. In Tor Helleseth, editor, Advances in Cryptology - EUROCRYPT \u201993, Workshop on the Theory and Application of of Cryptographic Techniques, Lofthus, Norway, May 23\u201327, 1993, Proceedings, volume 765 of Lecture Notes in Computer Science, pp.\u00a0386\u2013397. Springer (1993).","DOI":"10.1007\/3-540-48285-7_33"},{"key":"1259_CR19","unstructured":"Matsui M.: On correlation between the order of s-boxes and the strength of DES. In Alfredo\u00a0De Santis, editor, Advances in Cryptology - EUROCRYPT \u201994, Workshop on the Theory and Application of Cryptographic Techniques, Perugia, Italy, May 9-12, 1994, Proceedings, volume 950 of Lecture Notes in Computer Science, pp.\u00a0366\u2013375. Springer (1994.)"},{"key":"1259_CR20","unstructured":"Mouha M., Preneel B.: Towards finding optimal differential characteristics for arx: Application to salsa20. Cryptology ePrint Archive, Report 2013\/328 (2013). https:\/\/ia.cr\/2013\/328."},{"key":"1259_CR21","unstructured":"Mouha N., Wang Q., Gu D., Preneel B.: Differential and linear cryptanalysis using mixed-integer linear programming. In: Wu C., Yung, M, Lin D., (Eds.), Information Security and Cryptology\u20147th International Conference, Inscrypt 2011, Beijing, China, November 30\u2013December 3, 2011. Revised Selected Papers, volume 7537 of Lecture Notes in Computer Science, pp. 57\u201376. Springer (2011)."},{"key":"1259_CR22","unstructured":"Sasaki Y., Todo, Y.: New algorithm for modeling s-box in MILP based differential and division trail search. In: Farshim P., Simion E. (Eds.) Innovative Security Solutions for Information Technology and Communications - 10th International Conference, SecITC 2017, Bucharest, Romania, June 8\u20139, 2017, Revised Selected Papers, volume 10543 of Lecture Notes in Computer Science, pp. 150\u2013165. Springer (2017)."},{"key":"1259_CR23","unstructured":"Sasaki Y., Todo Y.: New impossible differential search tool from design and cryptanalysis aspects - revealing structural properties of several ciphers. In: Coron J.S., Nielsen J.B. (Eds.) Advances in Cryptology\u2014EUROCRYPT 2017\u201436th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30\u2013May 4, 2017, Proceedings, Part III, volume 10212 of Lecture Notes in Computer Science, pp. 185\u2013215 (2017)."},{"key":"1259_CR24","doi-asserted-by":"crossref","unstructured":"Sinz C.: Towards an optimal CNF encoding of boolean cardinality constraints. In van Beek P. (Ed.) Principles and Practice of Constraint Programming\u2014CP 2005, Sitges, Spain, October 1\u20135, 2005, Proceedings, volume 3709 of Lecture Notes in Computer Science, pp. 827\u2013831. Springer (2005).","DOI":"10.1007\/11564751_73"},{"key":"1259_CR25","unstructured":"Stephen A.C.: The complexity of theorem-proving procedures. In Harrison M.A., Banerji R.B., Ullman J.D. (Eds.) Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, May 3\u20135, 1971, Shaker Heights, Ohio, USA, pp. 151\u2013158. ACM (1971)."},{"key":"1259_CR26","doi-asserted-by":"crossref","unstructured":"Sun S., Hu L., S L.ong, Xie Y., Wang P.: Automatic security evaluation of block ciphers with s-bp structures against related-key differential attacks. In Lin D., Xu S., Yung M. (Eds.), Information Security and Cryptology - 9th International Conference, Inscrypt 2013, Guangzhou, China, November 27\u201330, 2013, Revised Selected Papers, volume 8567 of Lecture Notes in Computer Science, pp. 39\u201351. Springer, (2013).","DOI":"10.1007\/978-3-319-12087-4_3"},{"key":"1259_CR27","doi-asserted-by":"crossref","unstructured":"Sun S., Hu L., Wang P., Qiao K., Ma X., Song L.: Automatic security evaluation and (related-key) differential characteristic search: Application to simon, present, lblock, DES(L) and other bit-oriented block ciphers. In Palash Sarkar and Tetsu Iwata, editors, Advances in Cryptology\u2014ASIACRYPT 2014\u201420th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7\u201311, 2014. Proceedings, Part I, volume 8873 of Lecture Notes in Computer Science, pp. 158\u2013178. Springer (2014.)","DOI":"10.1007\/978-3-662-45611-8_9"},{"key":"1259_CR28","doi-asserted-by":"crossref","unstructured":"Sun B., Liu Z., Rijmen V., Li R., Cheng L., Wang Q., AlKhzaimi H., Li C.: Links among impossible differential, integral and zero correlation linear cryptanalysis. In Gennaro R., Robshaw M. (Eds.) Advances in Cryptology\u2014CRYPTO 2015\u201435th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16\u201320, 2015, Proceedings, Part I, volume 9215 of Lecture Notes in Computer Science, pp. 95\u2013115. Springer (2015).","DOI":"10.1007\/978-3-662-47989-6_5"},{"key":"1259_CR29","doi-asserted-by":"crossref","unstructured":"Sun L., Wang W., Wang M.: Automatic search of bit-based division property for ARX ciphers and word-based division property. In: Takagi T., Peyrin T. (Eds.) Advances in Cryptology\u2014ASIACRYPT 2017\u201423rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3\u20137, 2017, Proceedings, Part I, volume 10624 of Lecture Notes in Computer Science, pp. 128\u2013157. Springer (2017).","DOI":"10.1007\/978-3-319-70694-8_5"},{"issue":"3","key":"1259_CR30","doi-asserted-by":"publisher","first-page":"93","DOI":"10.46586\/tosc.v2018.i3.93-123","volume":"2018","author":"L Sun","year":"2018","unstructured":"Sun L., Wang W., Wang M.: More accurate differential properties of LED64 and midori64. IACR Trans. Symmetric Cryptol. 2018(3), 93\u2013123 (2018).","journal-title":"IACR Trans. Symmetric Cryptol."},{"issue":"1","key":"1259_CR31","doi-asserted-by":"publisher","first-page":"269","DOI":"10.46586\/tosc.v2021.i1.269-315","volume":"2021","author":"L Sun","year":"2021","unstructured":"Sun L., Wang W., Wang M.: Accelerating the search of differential and linear characteristics with the SAT method. IACR Trans. Symmetric Cryptol. 2021(1), 269\u2013315 (2021).","journal-title":"IACR Trans. Symmetric Cryptol."},{"key":"1259_CR32","doi-asserted-by":"crossref","unstructured":"Suzaki T., Minematsu K., Morioka S., Kobayashi E.: Twine: A lightweight block cipher for multiple platforms. In Lars\u00a0R. Knudsen and Huapeng Wu, editors, Selected Areas in Cryptography, 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers, volume 7707 of Lecture Notes in Computer Science, pages 339\u2013354. Springer, 2012.","DOI":"10.1007\/978-3-642-35999-6_22"},{"key":"1259_CR33","doi-asserted-by":"crossref","unstructured":"Todo Y., Isobe T., Hao Y., Meier W.: Cube attacks on non-blackbox polynomials based on division property. In: Katz J., Shacham H. (Ed.) Advances in Cryptology\u2014CRYPTO 2017\u201437th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20\u201324, 2017, Proceedings, Part III, volume 10403 of Lecture Notes in Computer Science, pp. 250\u2013279. Springer (2017).","DOI":"10.1007\/978-3-319-63697-9_9"},{"key":"1259_CR34","unstructured":"Udovenko A.: MILP modeling of boolean functions by minimum number of inequalities. IACR Cryptol. ePrint Arch., page 1099 (2021)."},{"key":"1259_CR35","doi-asserted-by":"crossref","unstructured":"Wang S., Hu B., Guan J., Zhang K., Shi T.: Milp-aided method of searching division property using three subsets and applications. In: Galbraith S.D., Moriai S. (Ed.) Advances in Cryptology\u2014ASIACRYPT 2019\u201425th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8\u201312, 2019, Proceedings, Part III, volume 11923 of Lecture Notes in Computer Science, pp. 398\u2013427. Springer (2019).","DOI":"10.1007\/978-3-030-34618-8_14"},{"key":"1259_CR36","unstructured":"Wu S., Wang M.: Security evaluation against differential cryptanalysis for block cipher structures. IACR Cryptol. ePrint Arch. p. 551 (2011)."},{"key":"1259_CR37","doi-asserted-by":"crossref","unstructured":"Wu W., Zhang L.: Lblock: A lightweight block cipher. In Javier L\u00f3pez and Gene Tsudik, editors, Applied Cryptography and Network Security - 9th International Conference, ACNS 2011, Nerja, Spain, June 7-10, 2011. Proceedings, volume 6715 of Lecture Notes in Computer Science, pages 327\u2013344, 2011.","DOI":"10.1007\/978-3-642-21554-4_19"},{"key":"1259_CR38","doi-asserted-by":"crossref","unstructured":"Xiang Z., Zhang W., Bao Z., Lin D.: Applying MILP method to searching integral distinguishers based on division property for 6 lightweight block ciphers. In: Cheon J.H., Takagi T. (Ed)., Advances in Cryptology\u2014ASIACRYPT 2016, Hanoi, Vietnam, December 4\u20138, 2016, Proceedings, Part I, volume 10031 of Lecture Notes in Computer Science, pp. 648\u2013678 (2016).","DOI":"10.1007\/978-3-662-53887-6_24"},{"key":"1259_CR39","doi-asserted-by":"crossref","unstructured":"Zhang Y., Sun S., Cai J., Hu L.: Speeding up MILP aided differential characteristic search with matsui\u2019s strategy. In Chen L., Manulis M., Schneider S.A. (Eds.) ISC 2018, Guildford, UK, September 9\u201312, 2018, Proceedings, volume 11060 of Lecture Notes in Computer Science, pp. 101\u2013115. Springer (2018)","DOI":"10.1007\/978-3-319-99136-8_6"},{"issue":"12","key":"1259_CR40","first-page":"1","volume":"58","author":"W Zhang","year":"2015","unstructured":"Zhang W., Bao Z., Lin D., Rijmen V., Yang B., Verbauwhede I.: RECTANGLE: a bit-slice lightweight block cipher suitable for multiple platforms. Sci. China Inf. Sci. 58(12), 1\u201315 (2015).","journal-title":"Sci. China Inf. Sci."},{"issue":"4","key":"1259_CR41","first-page":"438","volume":"2019","author":"C Zhou","year":"2019","unstructured":"Zhou C., Zhang W., Ding T., Xiang Z.: Improving the milp-based security evaluation algorithm against differential\/linear cryptanalysis using A divide-and-conquer approach. IACR Trans. Symmetric Cryptol. 2019(4), 438\u2013469 (2019).","journal-title":"IACR Trans. Symmetric Cryptol."}],"container-title":["Designs, Codes and Cryptography"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10623-023-01259-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10623-023-01259-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10623-023-01259-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T19:16:10Z","timestamp":1698174970000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10623-023-01259-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,7]]},"references-count":41,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2023,11]]}},"alternative-id":["1259"],"URL":"https:\/\/doi.org\/10.1007\/s10623-023-01259-9","relation":{},"ISSN":["0925-1022","1573-7586"],"issn-type":[{"value":"0925-1022","type":"print"},{"value":"1573-7586","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,7,7]]},"assertion":[{"value":"29 January 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 May 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 May 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 July 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}