{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:06Z","timestamp":1750220406229,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,22]],"date-time":"2021-10-22T00:00:00Z","timestamp":1634860800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Sichuan Science and Technology Program","award":["2020JDJQ0076"],"award-info":[{"award-number":["2020JDJQ0076"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10,22]]},"DOI":"10.1145\/3494885.3494917","type":"proceedings-article","created":{"date-parts":[[2021,12,21]],"date-time":"2021-12-21T01:53:51Z","timestamp":1640051631000},"page":"174-177","source":"Crossref","is-referenced-by-count":0,"title":["Fast MILP Modelings for Sboxes"],"prefix":"10.1145","author":[{"given":"Hao","family":"Tan","sequence":"first","affiliation":[{"name":"Institute of Southwestern Communication, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dong","family":"Xu Miao","sequence":"additional","affiliation":[{"name":"Institute of Southwestern Communication, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bin","family":"Shen","sequence":"additional","affiliation":[{"name":"Institute of Southwestern Communication, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zheng","family":"Wen Zhang","sequence":"additional","affiliation":[{"name":"Institute of Southwestern Communication, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,12,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646755.705229"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1756123.1756126"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc.Symposium on Communication, Coding and Cryptography, in Honor of J. L. Massey on the Occasion of His 60","author":"X.","year":"1994","unstructured":"Lai, X. : Higher order derivatives and differential cryptanalysis . In: Proc.Symposium on Communication, Coding and Cryptography, in Honor of J. L. Massey on the Occasion of His 60 .th Birthday. Kluwer Academic Publishers, Dordrecht ( 1994 ). Lai, X.: Higher order derivatives and differential cryptanalysis. In: Proc.Symposium on Communication, Coding and Cryptography, in Honor of J. L. Massey on the Occasion of His 60.th Birthday. Kluwer Academic Publishers, Dordrecht (1994)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34704-7_5"},{"key":"e_1_3_2_1_5_1","volume-title":"Fu","author":"L.","year":"2014","unstructured":"Sun, S., Hu, L., Wang, M., Wang, P., Qiao, K., Ma, X., Shi, D., Song, L. , Fu , K. : Towards finding the best characteristics of some bit-oriented block ciphers and automatic enumeration of (related-key) differential and linear characteristics with predefined properties. Cryptology ePrint Archive, Report 2014 \/747 (2014) Sun, S., Hu, L., Wang, M., Wang, P., Qiao, K., Ma, X., Shi, D., Song, L., Fu, K.: Towards finding the best characteristics of some bit-oriented block ciphers and automatic enumeration of (related-key) differential and linear characteristics with predefined properties. Cryptology ePrint Archive, Report 2014\/747 (2014)"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-69284-5_11"},{"key":"e_1_3_2_1_7_1","first-page":"327","article-title":"Efficient milp modelings for sboxes and linear layers of SPN ciphers","author":"Coggia Daniel","year":"2020","unstructured":"Daniel Coggia and Christina Boura . Efficient milp modelings for sboxes and linear layers of SPN ciphers . IACR Transactions on Symmetric Cryptology , 2020 , I ssue 3: 327 \u2013 361 , 2020. Daniel Coggia and Christina Boura. Efficient milp modelings for sboxes and linear layers of SPN ciphers. IACR Transactions on Symmetric Cryptology, 2020, Issue 3:327\u2013361, 2020.","journal-title":"IACR Transactions on Symmetric Cryptology"},{"key":"e_1_3_2_1_8_1","volume-title":"Advanced Encryption Standard (AES)","author":"Processing Standards Federal Information","year":"2001","unstructured":"Federal Information Processing Standards Publication (FIPS 197). Advanced Encryption Standard (AES) , 2001 . Federal Information Processing Standards Publication (FIPS 197). Advanced Encryption Standard (AES), 2001."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53008-5_5"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1881511.1881514"}],"event":{"name":"CSSE 2021: 2021 4th International Conference on Computer Science and Software Engineering","acronym":"CSSE 2021","location":"Singapore Singapore"},"container-title":["2021 4th International Conference on Computer Science and Software Engineering (CSSE 2021)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3494885.3494917","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3494885.3494917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:59Z","timestamp":1750191539000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3494885.3494917"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,22]]},"references-count":10,"alternative-id":["10.1145\/3494885.3494917","10.1145\/3494885"],"URL":"https:\/\/doi.org\/10.1145\/3494885.3494917","relation":{},"subject":[],"published":{"date-parts":[[2021,10,22]]}}}