{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T11:51:55Z","timestamp":1769860315656,"version":"3.49.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032155405","type":"print"},{"value":"9783032155412","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-15541-2_16","type":"book-chapter","created":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T20:07:49Z","timestamp":1769803669000},"page":"285-305","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Differential and\u00a0Linear Analyses of\u00a0DIZY Through MILP Modeling"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4399-2594","authenticated-orcid":false,"given":"Murat Burhan","family":"\u0130lter","sequence":"first","affiliation":[]},{"given":"Onur","family":"Ko\u00e7ak","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5744-4727","authenticated-orcid":false,"given":"Orhun","family":"Kara","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9685-6625","authenticated-orcid":false,"given":"Fatih","family":"Sulak","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,1,31]]},"reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"45","DOI":"10.46586\/tosc.v2017.i1.45-79","volume":"2017","author":"M Hamann","year":"2017","unstructured":"Hamann, M., Krause, M., Meier, W.: LIZARD - a lightweight stream cipher for power-constrained devices. IACR Trans. Symmetric Cryptol. 2017(1), 45\u201379 (2017)","journal-title":"IACR Trans. Symmetric Cryptol."},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/978-3-662-48116-5_22","volume-title":"Fast Software Encryption","author":"F Armknecht","year":"2015","unstructured":"Armknecht, F., Mikhalev, V.: On lightweight stream ciphers with shorter internal states. In: Leander, G. (ed.) FSE 2015. LNCS, vol. 9054, pp. 451\u2013470. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-48116-5_22"},{"issue":"3","key":"16_CR3","doi-asserted-by":"publisher","first-page":"180","DOI":"10.3390\/e20030180","volume":"20","author":"VA Ghafari","year":"2018","unstructured":"Ghafari, V.A., Hu, H.: Fruit-80: a secure ultra-lightweight stream cipher for constrained environments. Entropy 20(3), 180 (2018)","journal-title":"Entropy"},{"issue":"3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s10623-021-00984-3","volume":"90","author":"DK Dalai","year":"2022","unstructured":"Dalai, D.K., Pal, S., Sarkar, S.: A state bit recovery algorithm with TMDTO attack on lizard and grain-128a. Des. Codes Cryptogr. 90(3), 489\u2013521 (2022)","journal-title":"Des. Codes Cryptogr."},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44448-3_1","volume-title":"Advances in Cryptology \u2014 ASIACRYPT 2000","author":"A Biryukov","year":"2000","unstructured":"Biryukov, A., Shamir, A.: Cryptanalytic time\/memory\/data tradeoffs for stream ciphers. In: Okamoto, T. (ed.) ASIACRYPT 2000. LNCS, vol. 1976, pp. 1\u201313. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44448-3_1"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Babbage, S.: Improved \u201cexhaustive search\u201d attacks on stream ciphers. In: European Convention on Security and Detection, pp. 161\u2013166. IET (1995)","DOI":"10.1049\/cp:19950490"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/3-540-69053-0_17","volume-title":"Advances in Cryptology \u2014 EUROCRYPT \u201997","author":"JD Goli\u0107","year":"1997","unstructured":"Goli\u0107, J.D.: Cryptanalysis of alleged a5 stream cipher. In: Fumy, W. (ed.) EUROCRYPT 1997. LNCS, vol. 1233, pp. 239\u2013255. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-69053-0_17"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1007\/978-3-662-47989-6_32","volume-title":"Advances in Cryptology \u2013 CRYPTO 2015","author":"V Lallemand","year":"2015","unstructured":"Lallemand, V., Naya-Plasencia, M.: Cryptanalysis of full sprout. In: Gennaro, R., Robshaw, M. (eds.) CRYPTO 2015. LNCS, vol. 9215, pp. 663\u2013682. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-47989-6_32"},{"key":"16_CR9","first-page":"236","volume":"2015","author":"S Maitra","year":"2015","unstructured":"Maitra, S., Sarkar, S., Baksi, A., Dey, P.: Key recovery from state information of sprout: application to cryptanalysis and fault attack. IACR Cryptol. ePrint Arch. 2015, 236 (2015)","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"16_CR10","doi-asserted-by":"publisher","unstructured":"Zhang, B., Gong, X.: Another tradeoff attack on sprout-like stream ciphers. In: Iwata, T., Cheon, J.H. (eds.) ASIACRYPT 2015. LNCS, vol. 9453, pp. 561\u2013585. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-48800-3_23","DOI":"10.1007\/978-3-662-48800-3_23"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-319-31301-6_4","volume-title":"Selected Areas in Cryptography \u2013 SAC 2015","author":"MF Esgin","year":"2016","unstructured":"Esgin, M.F., Kara, O.: Practical cryptanalysis of full sprout with TMD tradeoff attacks. In: Dunkelman, O., Keliher, L. (eds.) SAC 2015. LNCS, vol. 9566, pp. 67\u201385. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-31301-6_4"},{"issue":"2","key":"16_CR12","first-page":"52","volume":"2016","author":"V Mikhalev","year":"2016","unstructured":"Mikhalev, V., Armknecht, F., M\u00fcller, C.: On ciphers that continuously access the non-volatile key. IACR Trans. Symmetric Cryptol. 2016(2), 52\u201379 (2016)","journal-title":"IACR Trans. Symmetric Cryptol."},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-030-38471-5_15","volume-title":"Selected Areas in Cryptography \u2013 SAC 2019","author":"Y Todo","year":"2020","unstructured":"Todo, Y., Meier, W., Aoki, K.: On the data limitation of small-state stream ciphers: correlation attacks on fruit-80 and plantlet. In: Paterson, K.G., Stebila, D. (eds.) SAC 2019. LNCS, vol. 11959, pp. 365\u2013392. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-38471-5_15"},{"key":"16_CR14","first-page":"763","volume":"2019","author":"S Wang","year":"2019","unstructured":"Wang, S., Liu, M., Lin, D., Ma, L.: Fast correlation attacks on grain-like small state stream ciphers and cryptanalysis of Plantlet, Fruit-v2 and Fruit-80. IACR Cryptol. ePrint Arch. 2019, 763 (2019)","journal-title":"IACR Cryptol. ePrint Arch."},{"issue":"3","key":"16_CR15","doi-asserted-by":"publisher","first-page":"103","DOI":"10.46586\/tosc.v2019.i3.103-120","volume":"2019","author":"S Banik","year":"2019","unstructured":"Banik, S., Barooti, K., Isobe, T.: Cryptanalysis of Plantlet. IACR Trans. Symmetric Cryptol. 2019(3), 103\u2013120 (2019)","journal-title":"IACR Trans. Symmetric Cryptol."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Copeland, J., Simpson, L.: Finding slid pairs for the Plantlet stream cipher. In: Jayaraman, P.P., Georgakopoulos, D., Sellis, T.K., Forkan, A. (es.) Proceedings of the Australasian Computer Science Week, ACSW 2020, Melbourne, VIC, Australia, 3-7 February 2020, pp. 7:1\u20137:7. ACM (2020)","DOI":"10.1145\/3373017.3373024"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Banik, S., Isobe, T., Morii, M.: On design of robust lightweight stream cipher with short internal state. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 101-A(1), 99\u2013109 (2018)","DOI":"10.1587\/transfun.E101.A.99"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"3735","DOI":"10.1109\/TIFS.2023.3287412","volume":"18","author":"\u00c7 G\u00fcl","year":"2023","unstructured":"G\u00fcl, \u00c7., Kara, O.: A new construction method for keystream generators. IEEE Trans. Inf. Forensics Secur. 18, 3735\u20133744 (2023)","journal-title":"IEEE Trans. Inf. Forensics Secur."},{"key":"16_CR19","unstructured":"Amin-Ghafari, V., Orumiehchiha, M.A., Rostami, S.: An attack on the LILLE stream cipher. Cryptology ePrint Archive, Paper 2023\/111 (2023)"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Schmid, M., Arul, T., Kavun, E.B., Regazzoni, F., Kara, O.: Robust and energy-efficient hardware architectures for DIZY stream cipher. In: 2024 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS), pp. 461\u2013465 (2024)","DOI":"10.1109\/APCCAS62602.2024.10808577"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-319-12087-4_3","volume-title":"Information Security and Cryptology","author":"S Sun","year":"2014","unstructured":"Sun, S., Hu, L., Song, L., 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.) Inscrypt 2013. LNCS, vol. 8567, pp. 39\u201351. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-12087-4_3"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-030-12612-4_19","volume-title":"Topics in Cryptology \u2013 CT-RSA 2019","author":"B Zhu","year":"2019","unstructured":"Zhu, B., Dong, X., Yu, H.: MILP-based differential attack on round-reduced GIFT. In: Matsui, M. (ed.) CT-RSA 2019. LNCS, vol. 11405, pp. 372\u2013390. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-12612-4_19"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-030-81652-0_8","volume-title":"Selected Areas in Cryptography","author":"F Ji","year":"2021","unstructured":"Ji, F., Zhang, W., Zhou, C., Ding, T.: Improved (related-key) differential cryptanalysis on GIFT. In: Dunkelman, O., Jacobson, Jr., M.J., O\u2019Flynn, C. (eds.) SAC 2020. LNCS, vol. 12804, pp. 198\u2013228. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-81652-0_8"},{"key":"16_CR24","unstructured":"Gurobi Optimization, LLC. Gurobi Optimizer Reference Manual (2024). https:\/\/www.gurobi.com"},{"key":"16_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/3-540-48285-7_33","volume-title":"Advances in Cryptology \u2014 EUROCRYPT \u201993","author":"M Matsui","year":"1994","unstructured":"Matsui, M.: Linear cryptanalysis method for DES cipher. In: Helleseth, T. (ed.) EUROCRYPT 1993. LNCS, vol. 765, pp. 386\u2013397. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-48285-7_33"},{"key":"16_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/3-540-48071-4_34","volume-title":"Advances in Cryptology \u2014 CRYPTO\u2019 92","author":"E Biham","year":"1993","unstructured":"Biham, E., Shamir, A.: Differential cryptanalysis of the full 16-round DES. In: Brickell, E.F. (ed.) CRYPTO 1992. LNCS, vol. 740, pp. 487\u2013496. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-48071-4_34"},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-662-52993-5_14","volume-title":"Fast Software Encryption","author":"K Fu","year":"2016","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.) FSE 2016. LNCS, vol. 9783, pp. 268\u2013288. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-52993-5_14"},{"issue":"1","key":"16_CR28","doi-asserted-by":"publisher","first-page":"183","DOI":"10.55730\/1300-0632.4062","volume":"32","author":"Murat Burhan Ilter and Ali Ayd\u0131n Sel\u00e7uk","year":"2024","unstructured":"Murat Burhan Ilter and Ali Ayd\u0131n Sel\u00e7uk: MILP modeling of matrix multiplication: cryptanalysis of KLEIN and PRINCE. Turk. J. Electr. Eng. Comput. Sci. 32(1), 183\u2013197 (2024)","journal-title":"Turk. J. Electr. Eng. Comput. Sci."},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"G\u00fcl, \u00c7., Kara, O.: Correction to A new construction method for keystream generators. IEEE Trans. Inf. Forensics Secur. 19, 4198\u20134198 (2024)","DOI":"10.1109\/TIFS.2024.3372200"},{"key":"16_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-662-45611-8_9","volume-title":"Advances in Cryptology \u2013 ASIACRYPT 2014","author":"S Sun","year":"2014","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: Sarkar, P., Iwata, T. (eds.) ASIACRYPT 2014. LNCS, vol. 8873, pp. 158\u2013178. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45611-8_9"},{"key":"16_CR31","unstructured":"The Sage Developers. SageMath, the Sage Mathematics Software System (Version 10.6) (2025). https:\/\/www.sagemath.org"},{"key":"16_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-319-69284-5_11","volume-title":"Innovative Security Solutions for Information Technology and Communications","author":"Yu Sasaki","year":"2017","unstructured":"Sasaki, Yu., Todo, Y.: New algorithm for modeling S-box in milp based differential and division trail search. In: Farshim, P., Simion, E. (eds.) SecITC 2017. LNCS, vol. 10543, pp. 150\u2013165. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69284-5_11"}],"container-title":["Lecture Notes in Computer Science","Lightweight Cryptography for Security and Privacy"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-15541-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T20:07:51Z","timestamp":1769803671000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-15541-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032155405","9783032155412"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-15541-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"31 January 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LightSec","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Lightweight Cryptography for Security and Privacy","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Istanbul","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"T\u00fcrkiye","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lightsec2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.encrypt-on.com\/activities\/conferences\/lightsec-2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}