{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:11:51Z","timestamp":1742987511645,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031562310"},{"type":"electronic","value":"9783031562327"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-56232-7_12","type":"book-chapter","created":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T14:02:34Z","timestamp":1711634554000},"page":"247-268","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A CP-Based Automatic Tool for\u00a0Instantiating Truncated Differential Characteristics"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Delobel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Derbez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arthur","family":"Gontier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"Rouquette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christine","family":"Solnon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,3,29]]},"reference":[{"key":"12_CR1","unstructured":"Beaulieu, R., Shors, D., Smith, J., Treatman-Clark, S., Weeks, B., Wingers, L.: The SIMON and SPECK families of lightweight block ciphers. Cryptology ePrint Archive, Report 2013\/404 (2013). https:\/\/eprint.iacr.org\/2013\/404"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Bellini, E., et al.: CLAASP: a cryptographic library for the automated analysis of symmetric primitives. IACR Cryptol. ePrint Arch., p. 622 (2023). https:\/\/eprint.iacr.org\/2023\/622","DOI":"10.1007\/978-3-031-53368-6_19"},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Biham, E., Shamir, A.: Differential cryptanalysis of des-like cryptosystems. In: Menezes, A., Vanstone, S.A. (eds.) Advances in Cryptology \u2013 CRYPTO \u201990, 10th Annual International Cryptology Conference, Santa Barbara, California, USA, 11\u201315 August 1990, Proceedings. LNCS, vol. 537, pp. 2\u201321. Springer, Cham (1990). https:\/\/doi.org\/10.1007\/3-540-38424-3_1","DOI":"10.1007\/3-540-38424-3_1"},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Biryukov, A., Nikolic, I.: Automatic search for related-key differential characteristics in byte-oriented block ciphers: application to AES, camellia, Khazad and others. In: Gilbert, H. (eds.) Advances in Cryptology \u2013 EUROCRYPT 2010. EUROCRYPT 2010. LNCS, vol. 6110, pp. 322\u2013344. Springer, Berlin, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13190-5_17","DOI":"10.1007\/978-3-642-13190-5_17"},{"key":"12_CR5","doi-asserted-by":"publisher","unstructured":"Delaune, S., Derbez, P., Huynh, P., Minier, M., Mollimard, V., Prud\u2019homme, C.: Efficient methods to search for best differential characteristics on SKINNY. In: Sako, K., Tippenhauer, N.O. (eds.) Applied Cryptography and Network Security. ACNS 2021. LNCS, vol. 12727, pp. 184\u2013207. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-78375-4_8","DOI":"10.1007\/978-3-030-78375-4_8"},{"key":"12_CR6","doi-asserted-by":"publisher","unstructured":"Fouque, P., Jean, J., Peyrin, T.: Structural evaluation of AES and chosen-key distinguisher of 9-round AES-128. In: Canetti, R., Garay, J.A. (eds.) Advances in Cryptology \u2013 CRYPTO 2013. CRYPTO 2013. LNCS, vol. 8042, pp. 183\u2013203. Springer, Berlin, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40041-4_11","DOI":"10.1007\/978-3-642-40041-4_11"},{"key":"12_CR7","unstructured":"Gent, I.P., Jefferson, C., Miguel, I., Nightingale, P.: Data structures for generalised arc consistency for extensional constraints. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 22\u201326 July 2007, Vancouver, British Columbia, Canada, pp. 191\u2013197. AAAI Press (2007). http:\/\/www.aaai.org\/Library\/AAAI\/2007\/aaai07-029.php"},{"key":"12_CR8","unstructured":"G\u00e9rault, D.: Security analysis of contactless communication protocols. (Analyse de s\u00e9curit\u00e9 des protocoles de communication sans contact). Ph.D. thesis, University of Clermont Auvergne, Clermont-Ferrand, France (2018). https:\/\/tel.archives-ouvertes.fr\/tel-02536478"},{"key":"12_CR9","doi-asserted-by":"publisher","unstructured":"G\u00e9rault, D., Lafourcade, P.: Related-key cryptanalysis of Midori. In: Dunkelman, O., Sanadhya, S. (eds.) Progress in Cryptology \u2013 INDOCRYPT 2016. INDOCRYPT 2016. LNCS, vol. 10095, pp. 287\u2013304. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49890-4_16","DOI":"10.1007\/978-3-319-49890-4_16"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"G\u00e9rault, D., Lafourcade, P., Minier, M., Solnon, C.: Computing AES related-key differential characteristics with constraint programming. Artif. Intell. 278 (2020)","DOI":"10.1016\/j.artint.2019.103183"},{"key":"12_CR11","doi-asserted-by":"publisher","unstructured":"G\u00e9rault, D., Minier, M., Solnon, C.: Constraint programming models for chosen key differential cryptanalysis. In: Rueher, M. (eds.) Principles and Practice of Constraint Programming. CP 2016. LNCS, vol. 9892, pp. 584\u2013601. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-44953-1_37","DOI":"10.1007\/978-3-319-44953-1_37"},{"issue":"3","key":"12_CR12","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1080\/0161-110291890885","volume":"26","author":"HM Heys","year":"2002","unstructured":"Heys, H.M.: A tutorial on linear and differential cryptanalysis. Cryptologia 26(3), 189\u2013221 (2002). https:\/\/doi.org\/10.1080\/0161-110291890885","journal-title":"Cryptologia"},{"key":"12_CR13","doi-asserted-by":"publisher","unstructured":"Knudsen, L.R.: Truncated and higher order differentials. In: Preneel, B. (ed.) Fast Software Encryption. FSE 1994. LNCS, vol. 1008, pp. 196\u2013211. Springer, Berlin, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-60590-8_16","DOI":"10.1007\/3-540-60590-8_16"},{"key":"12_CR14","unstructured":"K\u00f6lbl, S.: Cryptosmt: an easy to use tool for cryptanalysis of symmetric primitives (2015). https:\/\/github.com\/kste\/cryptosmt"},{"key":"12_CR15","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 \u2013 EUROCRYPT\u201991. EUROCRYPT 1991. LNCS, vol. 547, pp. 17\u201338. Springer, Berlin, Heidelberg (1991). https:\/\/doi.org\/10.1007\/3-540-46416-6_2","DOI":"10.1007\/3-540-46416-6_2"},{"issue":"4","key":"12_CR16","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s10601-011-9107-6","volume":"16","author":"C Lecoutre","year":"2011","unstructured":"Lecoutre, C.: STR2: optimized simple tabular reduction for table constraints. Constraints Int. J. 16(4), 341\u2013371 (2011). https:\/\/doi.org\/10.1007\/s10601-011-9107-6","journal-title":"Constraints Int. J."},{"key":"12_CR17","doi-asserted-by":"publisher","unstructured":"Lecoutre, C., Likitvivatanavong, C., Yap, R.H.C.: A path-optimal GAC algorithm for table constraints. In: Raedt, L.D., et al. (eds.) ECAI 2012\u201320th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, 27\u201331 August 2012. Frontiers in Artificial Intelligence and Applications, vol. 242, pp. 510\u2013515. IOS Press (2012). https:\/\/doi.org\/10.3233\/978-1-61499-098-7-510","DOI":"10.3233\/978-1-61499-098-7-510"},{"key":"12_CR18","doi-asserted-by":"publisher","unstructured":"Lecoutre, C., Szymanek, R.: Generalized arc consistency for positive table constraints. In: Benhamou, F. (ed.) Principles and Practice of Constraint Programming \u2013 CP 2006. CP 2006. LNCS, vol. 4204, pp. 284\u2013298. Springer, Berlin, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11889205_22","DOI":"10.1007\/11889205_22"},{"key":"12_CR19","doi-asserted-by":"publisher","unstructured":"Leurent, G.: Analysis of differential attacks in ARX constructions. In: Wang, X., Sako, K. (eds.) Advances in Cryptology \u2013 ASIACRYPT 2012. ASIACRYPT 2012. LNCS, vol. 7658, pp. 226\u2013243. Springer, Berlin, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34961-4_15","DOI":"10.1007\/978-3-642-34961-4_15"},{"key":"12_CR20","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), 25\u201329 October 2021. LIPIcs, vol. 210, pp. 40:1\u201340:18. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021). https:\/\/doi.org\/10.4230\/LIPIcs.CP.2021.40","DOI":"10.4230\/LIPIcs.CP.2021.40"},{"issue":"1","key":"12_CR21","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10601-013-9156-0","volume":"19","author":"J Mairy","year":"2014","unstructured":"Mairy, J., Hentenryck, P.V., Deville, Y.: Optimal and efficient filtering algorithms for table constraints. Constraints Int. J. 19(1), 77\u2013120 (2014). https:\/\/doi.org\/10.1007\/s10601-013-9156-0","journal-title":"Constraints Int. J."},{"key":"12_CR22","doi-asserted-by":"publisher","unstructured":"Matsui, M.: Linear cryptanalysis method for DES cipher. In: Helleseth, T. (ed.) Advances in Cryptology \u2013 EUROCRYPT \u201993. EUROCRYPT 1993. LNCS, vol. 765, pp. 386\u2013397. Springer, Berlin, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-48285-7_33","DOI":"10.1007\/3-540-48285-7_33"},{"key":"12_CR23","unstructured":"Minier, M., Solnon, C., Reboul, J.: Solving a symmetric key cryptographic problem with constraint programming. In: ModRef 2014, Workshop of the CP 2014 Conference, p. 13 (2014)"},{"key":"12_CR24","doi-asserted-by":"publisher","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: Minizinc: towards a standard CP modelling language. In: Bessiere, C. (ed.) Principles and Practice of Constraint Programming \u2013 CP 2007. CP 2007. LNCS, vol. 4741, pp. 529\u2013543. Springer, Berlin, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74970-7_38","DOI":"10.1007\/978-3-540-74970-7_38"},{"key":"12_CR25","doi-asserted-by":"publisher","unstructured":"Prud\u2019homme, C., Fages, J.G.: Choco-solver: a java library for constraint programming. J. Open Source Softw. 7(78), 4708 (2022). https:\/\/doi.org\/10.21105\/joss.04708","DOI":"10.21105\/joss.04708"},{"issue":"6","key":"12_CR26","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_CR27","doi-asserted-by":"publisher","unstructured":"Rouquette, L., G\u00e9rault, D., Minier, M., Solnon, C.: And rijndael? Automatic related-key differential analysis of rijndael. In: Batina, L., Daemen, J. (eds.) Progress in Cryptology \u2013 AFRICACRYPT 2022. AFRICACRYPT 2022. LNCS, vol. 13503, pp. 150\u2013175. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-17433-9_7","DOI":"10.1007\/978-3-031-17433-9_7"},{"key":"12_CR28","doi-asserted-by":"publisher","unstructured":"Rouquette, L., Solnon, C.: abstractXOR: a global constraint dedicated to differential cryptanalysis. In: Simonis, H. (ed.) Principles and Practice of Constraint Programming. CP 2020. LNCS, vol. 12333, pp. 566\u2013584. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58475-7_33","DOI":"10.1007\/978-3-030-58475-7_33"},{"key":"12_CR29","doi-asserted-by":"publisher","unstructured":"Sakamoto, K., et al.: Security of related-key differential attacks on twine, revisited. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 103-A(1), 212\u2013214 (2020). https:\/\/doi.org\/10.1587\/transfun.2019CIL0004, http:\/\/search.ieice.org\/bin\/summary.php?id=e103-a_1_212","DOI":"10.1587\/transfun.2019CIL0004"},{"issue":"1","key":"12_CR30","doi-asserted-by":"publisher","first-page":"281","DOI":"10.46586\/tosc.v2017.i1.281-306","volume":"2017","author":"S Sun","year":"2017","unstructured":"Sun, S., et al.: Analysis of AES, SKINNY, and others with constraint programming. IACR Trans. Symmetric Cryptol. 2017(1), 281\u2013306 (2017)","journal-title":"IACR Trans. Symmetric Cryptol."},{"key":"12_CR31","doi-asserted-by":"publisher","DOI":"10.1016\/j.jisa.2022.103316","volume":"70","author":"JS Teh","year":"2022","unstructured":"Teh, J.S., Biryukov, A.: Differential cryptanalysis of WARP. J. Inf. Secur. Appl. 70, 103316 (2022). https:\/\/doi.org\/10.1016\/j.jisa.2022.103316","journal-title":"J. Inf. Secur. Appl."},{"key":"12_CR32","unstructured":"Udovenko, A.: MILP modeling of Boolean functions by minimum number of inequalities. IACR Cryptol. ePrint Arch., p. 1099 (2021). https:\/\/eprint.iacr.org\/2021\/1099"},{"issue":"18","key":"12_CR33","doi-asserted-by":"publisher","first-page":"3639","DOI":"10.1016\/j.ins.2007.03.030","volume":"177","author":"JR Ullmann","year":"2007","unstructured":"Ullmann, J.R.: Partition search for non-binary constraint satisfaction. Inf. Sci. 177(18), 3639\u20133678 (2007). https:\/\/doi.org\/10.1016\/j.ins.2007.03.030","journal-title":"Inf. Sci."}],"container-title":["Lecture Notes in Computer Science","Progress in Cryptology \u2013 INDOCRYPT 2023"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-56232-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T14:06:52Z","timestamp":1711634812000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-56232-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031562310","9783031562327"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-56232-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]]},"assertion":[{"value":"29 March 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"INDOCRYPT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Cryptology in India","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Goa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 December 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"indocrypt2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"74","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"36% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}