{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:55:47Z","timestamp":1743112547783,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":22,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819780150"},{"type":"electronic","value":"9789819780167"}],"license":[{"start":{"date-parts":[[2024,9,29]],"date-time":"2024-09-29T00:00:00Z","timestamp":1727568000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,9,29]],"date-time":"2024-09-29T00:00:00Z","timestamp":1727568000000},"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":[[2025]]},"DOI":"10.1007\/978-981-97-8016-7_12","type":"book-chapter","created":{"date-parts":[[2024,9,28]],"date-time":"2024-09-28T07:02:05Z","timestamp":1727506925000},"page":"265-285","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Collision Attacks on\u00a0Hashing Modes of\u00a0Areion"],"prefix":"10.1007","author":[{"given":"Kodai","family":"Taiyama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kosei","family":"Sakamoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rentaro","family":"Shiba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takanori","family":"Isobe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,29]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","unstructured":"Bellini, E., et al.: CLAASP: a cryptographic library for the automated analysis of symmetric primitives. In: Carlet, C., Mandal, K., Rijmen, V. (eds.) Selected Areas in Cryptography - SAC 2023 - 30th International Conference, Fredericton, Canada, August 14\u201318, 2023, Revised Selected Papers. Lecture Notes in Computer Science, vol. 14201, pp. 387\u2013408. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-53368-6_19","DOI":"10.1007\/978-3-031-53368-6_19"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"Bellini, E., et al.: Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives. In: Deng, J., Kolesnikov, V., Schwarzmann, A.A. (eds.) Cryptology and Network Security. CANS 2023. Lecture Notes in Computer Science, vol. 14342. Springer, Singapore (2024). https:\/\/doi.org\/10.1007\/978-981-99-7563-1_13","DOI":"10.1007\/978-981-99-7563-1_13"},{"issue":"1","key":"12_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF00630563","volume":"4","author":"E Biham","year":"1991","unstructured":"Biham, E., Shamir, A.: Differential cryptanalysis of DES-like cryptosystems. J. Cryptol. 4(1), 3\u201372 (1991)","journal-title":"J. Cryptol."},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Brayton, R.K., Hachtel, G.D., McMullen, C.T., Sangiovanni-Vincentelli, A.L.: Logic Minimization Algorithms for VLSI Synthesis, The Kluwer International Series in Engineering and Computer Science, vol.\u00a02. Springer (1984). https:\/\/doi.org\/10.1007\/978-1-4613-2821-6","DOI":"10.1007\/978-1-4613-2821-6"},{"issue":"1","key":"12_CR5","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":"12_CR6","doi-asserted-by":"publisher","unstructured":"Hou, Q., Dong, X., Qin, L., Zhang, G., Wang, X.: Automated meet-in-the-middle attack goes to feistel. In: Guo, J., Steinfeld, R. (eds.) Advances in Cryptology - ASIACRYPT 2023 - 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4\u20138, 2023, Proceedings, Part III. Lecture Notes in Computer Science, vol. 14440, pp. 370\u2013404. Springer (2023). https:\/\/doi.org\/10.1007\/978-981-99-8727-6_13","DOI":"10.1007\/978-981-99-8727-6_13"},{"issue":"2","key":"12_CR7","doi-asserted-by":"publisher","first-page":"115","DOI":"10.46586\/tches.v2023.i2.115-154","volume":"2023","author":"T Isobe","year":"2023","unstructured":"Isobe, T., et al.: Areion: highly-efficient permutations and its applications to hash functions for short input. IACR Trans. Cryptographic Hardware Embed. Syst. 2023(2), 115\u2013154 (2023). https:\/\/doi.org\/10.46586\/tches.v2023.i2.115-154","journal-title":"IACR Trans. Cryptographic Hardware Embed. Syst."},{"key":"12_CR8","doi-asserted-by":"publisher","unstructured":"Lai, X., Massey, J.L., Murphy, S.: Markov ciphers and differential cryptanalysis. In: Davies, D.W. (ed.) Advances in Cryptology - EUROCRYPT 1991, Workshop on the Theory and Application of of Cryptographic Techniques, Brighton, UK, April 8\u201311, 1991, Proceedings. Lecture Notes in Computer Science, vol.\u00a0547, pp. 17\u201338. Springer (1991). https:\/\/doi.org\/10.1007\/3-540-46416-6_2","DOI":"10.1007\/3-540-46416-6_2"},{"key":"12_CR9","doi-asserted-by":"publisher","unstructured":"Lamberger, M., Mendel, F., Rechberger, C., Rijmen, V., Schl\u00e4ffer, M.: Rebound distinguishers: Results on the full whirlpool compression function. In: ASIACRYPT. Lecture Notes in Computer Science, vol.\u00a05912, pp. 126\u2013143. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-10366-7_8","DOI":"10.1007\/978-3-642-10366-7_8"},{"key":"12_CR10","doi-asserted-by":"publisher","unstructured":"Libralesso, L., Delobel, F., Lafourcade, P., Solnon, C.: Automatic generation of declarative models for differential cryptanalysis. In: Michel, L.D. (ed.) 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25\u201329, 2021. LIPIcs, vol.\u00a0210, pp. 1\u201318. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021). https:\/\/doi.org\/10.4230\/LIPICS.CP.2021.40","DOI":"10.4230\/LIPICS.CP.2021.40"},{"key":"12_CR11","doi-asserted-by":"publisher","unstructured":"Liu, Y., Wang, Q., Rijmen, V.: Automatic search of linear trails in ARX with applications to SPECK and chaskey. In: ACNS. Lecture Notes in Computer Science, vol.\u00a09696, pp. 485\u2013499. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-39555-5_26","DOI":"10.1007\/978-3-319-39555-5_26"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Martins, R., Joshi, S., Manquinho, V.M., Lynce, I.: Incremental cardinality constraints for MaxSAT. CoRR arXiv:1408.4628 (2014)","DOI":"10.1007\/978-3-319-10428-7_39"},{"issue":"6","key":"12_CR13","doi-asserted-by":"publisher","first-page":"1417","DOI":"10.1002\/j.1538-7305.1956.tb03835.x","volume":"35","author":"EJ McCluskey","year":"1956","unstructured":"McCluskey, E.J.: Minimization of boolean functions. Bell Syst. Tech. J. 35(6), 1417\u20131444 (1956)","journal-title":"Bell Syst. Tech. J."},{"key":"12_CR14","doi-asserted-by":"publisher","unstructured":"Mendel, F., Rechberger, C., Schl\u00e4ffer, M., Thomsen, S.S.: The rebound attack: cryptanalysis of reduced whirlpool and Gr\u00f8stl. In: FSE. Lecture Notes in Computer Science, vol.\u00a05665, pp. 260\u2013276. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-03317-9_16","DOI":"10.1007\/978-3-642-03317-9_16"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-34704-7_5","volume-title":"Information Security and Cryptology","author":"N Mouha","year":"2012","unstructured":"Mouha, N., Wang, Q., Gu, D., Preneel, B.: Differential and linear cryptanalysis using mixed-integer linear programming. In: Wu, C.-K., Yung, M., Lin, D. (eds.) Inscrypt 2011. LNCS, vol. 7537, pp. 57\u201376. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34704-7_5"},{"issue":"8","key":"12_CR16","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1080\/00029890.1952.11988183","volume":"59","author":"WV Quine","year":"1952","unstructured":"Quine, W.V.: The problem of simplifying truth functions. Am. Math. Mon. 59(8), 521\u2013531 (1952)","journal-title":"Am. Math. Mon."},{"issue":"9","key":"12_CR17","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1080\/00029890.1955.11988710","volume":"62","author":"WV Quine","year":"1955","unstructured":"Quine, W.V.: A way to simplify truth functions. Am. Math. Mon. 62(9), 627\u2013631 (1955)","journal-title":"Am. Math. Mon."},{"issue":"6","key":"12_CR18","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1049\/ise2.12077","volume":"16","author":"A Ranea","year":"2022","unstructured":"Ranea, A., Rijmen, V.: Characteristic automated search of cryptographic algorithms for distinguishing attacks (CASCADA). IET Inf. Secur. 16(6), 470\u2013481 (2022). https:\/\/doi.org\/10.1049\/ise2.12077","journal-title":"IET Inf. Secur."},{"key":"12_CR19","unstructured":"Sakemi, Y., Kanno, S.: Ultra-low latency cryptography Areion. Internet-Draft draft-sakemi-areion-00, Internet Engineering Task Force (2023). https:\/\/datatracker.ietf.org\/doc\/draft-sakemi-areion\/00\/, work in Progress"},{"key":"12_CR20","unstructured":"NIST: Secure Hash Standard (SHS). Federal Information Processing Standards Publication. FIPS PUB 180-4 (2015)"},{"issue":"3","key":"12_CR21","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":"12_CR22","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."}],"container-title":["Lecture Notes in Computer Science","Cryptology and Network Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-97-8016-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,28]],"date-time":"2024-09-28T07:04:33Z","timestamp":1727507073000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-97-8016-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,29]]},"ISBN":["9789819780150","9789819780167"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-981-97-8016-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,9,29]]},"assertion":[{"value":"29 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CANS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Cryptology and Network Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cambridge","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cans2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2024.cansconference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}