{"id":"https://openalex.org/W4295067110","doi":"https://doi.org/10.46586/tosc.v2022.i3.341-367","title":"SuperBall: A New Approach for MILP Modelings of Boolean Functions","display_name":"SuperBall: A New Approach for MILP Modelings of Boolean Functions","publication_year":2022,"publication_date":"2022-09-09","ids":{"openalex":"https://openalex.org/W4295067110","doi":"https://doi.org/10.46586/tosc.v2022.i3.341-367"},"language":"en","primary_location":{"id":"doi:10.46586/tosc.v2022.i3.341-367","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tosc.v2022.i3.341-367","pdf_url":"https://tosc.iacr.org/index.php/ToSC/article/download/9860/9359","source":{"id":"https://openalex.org/S4210236173","display_name":"IACR Transactions on Symmetric Cryptology","issn_l":"2519-173X","issn":["2519-173X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Symmetric Cryptology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://tosc.iacr.org/index.php/ToSC/article/download/9860/9359","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100416900","display_name":"Ting Li","orcid":"https://orcid.org/0000-0003-0551-6535"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ting Li","raw_affiliation_strings":["State Key Laboratory of Information Security, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Information Security, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100649792","display_name":"Yao Sun","orcid":"https://orcid.org/0000-0002-3429-3476"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yao Sun","raw_affiliation_strings":["State Key Laboratory of Information Security, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","State Key Laboratory of Information Security, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Information Security, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]},{"raw_affiliation_string":"School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Laboratory of Information Security, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.857,"has_fulltext":true,"cited_by_count":18,"citation_normalized_percentile":{"value":0.87209243,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"341","last_page":"367"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9814000129699707,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11686","display_name":"Dendrimers and Hyperbranched Polymers","score":0.975600004196167,"subfield":{"id":"https://openalex.org/subfields/2507","display_name":"Polymers and Plastics"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.6457907557487488},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6122732162475586},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5781263113021851},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.5587587356567383},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.5198274254798889},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5007469654083252},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4980020523071289},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.49660998582839966},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47450727224349976},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.436000257730484},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41440582275390625},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.28776490688323975},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.27701646089553833},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22949004173278809},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06800872087478638}],"concepts":[{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.6457907557487488},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6122732162475586},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5781263113021851},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5587587356567383},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.5198274254798889},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5007469654083252},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4980020523071289},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.49660998582839966},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47450727224349976},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.436000257730484},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41440582275390625},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.28776490688323975},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27701646089553833},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22949004173278809},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06800872087478638},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.46586/tosc.v2022.i3.341-367","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tosc.v2022.i3.341-367","pdf_url":"https://tosc.iacr.org/index.php/ToSC/article/download/9860/9359","source":{"id":"https://openalex.org/S4210236173","display_name":"IACR Transactions on Symmetric Cryptology","issn_l":"2519-173X","issn":["2519-173X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Symmetric Cryptology","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:098dbb13c2114771b4a3d22e3298c9f3","is_oa":true,"landing_page_url":"https://doaj.org/article/098dbb13c2114771b4a3d22e3298c9f3","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IACR Transactions on Symmetric Cryptology, Vol 2022, Iss 3 (2022)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46586/tosc.v2022.i3.341-367","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tosc.v2022.i3.341-367","pdf_url":"https://tosc.iacr.org/index.php/ToSC/article/download/9860/9359","source":{"id":"https://openalex.org/S4210236173","display_name":"IACR Transactions on Symmetric Cryptology","issn_l":"2519-173X","issn":["2519-173X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Symmetric Cryptology","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.46000000834465027,"display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G3009508468","display_name":null,"funder_award_id":"61977060","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7336114051","display_name":null,"funder_award_id":"61877058","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4295067110.pdf","grobid_xml":"https://content.openalex.org/works/W4295067110.grobid-xml"},"referenced_works_count":53,"referenced_works":["https://openalex.org/W17122945","https://openalex.org/W45372631","https://openalex.org/W153516704","https://openalex.org/W197228877","https://openalex.org/W1518029257","https://openalex.org/W1540875416","https://openalex.org/W1562545139","https://openalex.org/W1563391815","https://openalex.org/W1599175145","https://openalex.org/W1657631842","https://openalex.org/W1883151075","https://openalex.org/W1894646615","https://openalex.org/W1897454360","https://openalex.org/W1904699185","https://openalex.org/W2125630204","https://openalex.org/W2129858687","https://openalex.org/W2281317404","https://openalex.org/W2293947265","https://openalex.org/W2344782235","https://openalex.org/W2398695520","https://openalex.org/W2495518322","https://openalex.org/W2504919933","https://openalex.org/W2549714595","https://openalex.org/W2560261434","https://openalex.org/W2584778576","https://openalex.org/W2613849344","https://openalex.org/W2613920941","https://openalex.org/W2765474737","https://openalex.org/W2769206030","https://openalex.org/W2782859210","https://openalex.org/W2912392398","https://openalex.org/W2933419887","https://openalex.org/W2949078646","https://openalex.org/W2949952813","https://openalex.org/W2991554051","https://openalex.org/W3013007656","https://openalex.org/W3022808104","https://openalex.org/W3030624396","https://openalex.org/W3044008048","https://openalex.org/W3087218913","https://openalex.org/W3088704016","https://openalex.org/W3097184403","https://openalex.org/W3114950592","https://openalex.org/W3129155655","https://openalex.org/W3202214116","https://openalex.org/W3203345363","https://openalex.org/W3203526008","https://openalex.org/W4242766192","https://openalex.org/W4248135912","https://openalex.org/W4254435982","https://openalex.org/W4256443398","https://openalex.org/W6639565960","https://openalex.org/W6829346327"],"related_works":["https://openalex.org/W2186864281","https://openalex.org/W4255427455","https://openalex.org/W1966025497","https://openalex.org/W1925942709","https://openalex.org/W2047683846","https://openalex.org/W2044902158","https://openalex.org/W2082154838","https://openalex.org/W2109912052","https://openalex.org/W1711527768","https://openalex.org/W4390188610"],"abstract_inverted_index":{"Mixed":[0],"Integer":[1],"Linear":[2],"Programming":[3],"(MILP)":[4],"solver":[5],"has":[6,20,281],"become":[7],"one":[8,114],"of":[9,14,28,31,39,64,71,79,86,97,109,123,149,159,180,193,210,216,229,247,261,277,293,301],"the":[10,25,29,52,61,84,87,95,147,166,174,191,201,214,227,230,234,241,245,252,265,282,290],"most":[11,300],"powerful":[12],"tools":[13],"searching":[15],"for":[16,112,213],"cryptographic":[17,54],"characteristics.":[18],"It":[19],"great":[21],"significance":[22],"to":[23,76,90,105,138,172],"study":[24,60],"influencing":[26],"factors":[27],"efficiency":[30,267],"MILP":[32,40],"models.":[33],"For":[34],"this":[35,57,98,294],"goal,":[36],"different":[37],"types":[38,108,209],"models":[41,63,111,176,195,212,292],"should":[42],"be":[43,126],"constructed":[44,207],"and":[45,152,188,219,254,285,289],"carefully":[46],"studied.":[47],"As":[48,204],"Boolean":[49,65,73,99],"functions":[50],"are":[51],"fundamental":[53],"components,":[55],"in":[56,200,268,299],"paper,":[58],"we":[59,206,271],"descriptive":[62,69,110,175,194,211,248,262,278,291],"functions.":[66],"Here,":[67],"a":[68,72,77,120,131,178,259,274],"model":[70,249,263,279],"function":[74],"refers":[75],"set":[78,85,179],"integer":[80],"linear":[81],"inequalities,":[82],"where":[83],"binary":[88],"solutions":[89],"these":[91],"inequalities":[92,124,160,182,231],"is":[93,103,117,136,144,169,237,257],"exactly":[94],"support":[96],"function.":[100],"Previously,":[101],"it":[102,153],"hard":[104],"construct":[106,173],"various":[107],"study,":[113],"important":[115],"reason":[116],"that":[118,226,244],"only":[119],"few":[121],"kinds":[122,158],"can":[125],"generated.":[127],"On":[128],"seeing":[129],"this,":[130],"new":[132],"approach,":[133],"called":[134],"SuperBall,":[135],"proposed":[137],"generate":[139,155],"inequalities.":[140],"The":[141,221],"SuperBall":[142,235],"approach":[143,236],"based":[145],"on":[146],"method":[148],"undetermined":[150],"coefficients,":[151],"could":[154],"almost":[156],"all":[157,269],"by":[161,183,233],"appending":[162],"appropriate":[163],"constraints.":[164],"Besides,":[165],"Sasaki-Todo":[167],"Algorithm":[168],"also":[170],"improved":[171],"from":[177],"candidate":[181],"considering":[184],"both":[185],"their":[186],"sizes":[187],"strengths,":[189],"while":[190],"strengths":[192,246],"have":[196,296],"not":[197,258],"been":[198],"considered":[199],"previous":[202],"works.":[203],"applications,":[205],"several":[208],"Sboxes":[215],"Liliput,":[217],"SKINNY-128,":[218],"AES.":[220],"experimental":[222],"results":[223,242],"first":[224],"prove":[225],"diversity":[228],"generated":[232],"good.":[238],"More":[239],"importantly,":[240],"show":[243],"do":[250],"affect":[251],"efficiencies,":[253],"although":[255],"there":[256],"type":[260,276,295],"having":[264],"best":[266],"experiments,":[270],"did":[272],"find":[273],"specific":[275],"which":[280],"minimal":[283],"size":[284],"relatively":[286],"large":[287],"strength,":[288],"better":[297],"efficiencies":[298],"our":[302],"experiments.":[303]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":5}],"updated_date":"2026-07-27T08:26:11.824852","created_date":"2025-10-10T00:00:00"}