{"id":"https://openalex.org/W4247610007","doi":"https://doi.org/10.13154/tosc.v2017.i1.281-306","title":"Analysis of AES, SKINNY, and Others with Constraint Programming","display_name":"Analysis of AES, SKINNY, and Others with Constraint Programming","publication_year":2017,"publication_date":"2017-03-06","ids":{"openalex":"https://openalex.org/W4247610007","doi":"https://doi.org/10.13154/tosc.v2017.i1.281-306"},"language":"en","primary_location":{"id":"pmh:oai:HAL:hal-01615487v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01615487","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IACR Transactions on Symmetric Cryptology, 2017, 2017 (1), pp.281--306","raw_type":"Journal articles"},"type":"article","indexed_in":["datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-01615487","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Sun, Siwei","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sun, Siwei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048652347","display_name":"David G\u00e9rault","orcid":"https://orcid.org/0000-0001-8583-0668"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gerault, David","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024799131","display_name":"Pascal Lafourcade","orcid":"https://orcid.org/0000-0002-4459-511X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lafourcade, Pascal","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Yang, Qianqian","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Qianqian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026273868","display_name":"Yosuke Todo","orcid":"https://orcid.org/0000-0002-6839-4777"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Todo, Yosuke","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Qiao, Kexin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qiao, Kexin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5034965387","display_name":"Lei Hu","orcid":"https://orcid.org/0000-0002-9920-5342"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hu, Lei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6196,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.79370781,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9828000068664551,"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.9828000068664551,"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/T11424","display_name":"Security and Verification in Computing","score":0.0044999998062849045,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.0024999999441206455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.49734190106391907},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4130650758743286},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3689008951187134},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3622548580169678},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2279852330684662}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49734190106391907},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4130650758743286},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3689008951187134},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3622548580169678},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2279852330684662},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:HAL:hal-01615487v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01615487","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IACR Transactions on Symmetric Cryptology, 2017, 2017 (1), pp.281--306","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:d8028eb26a5544bd999bee7740ca3a44","is_oa":true,"landing_page_url":"https://doaj.org/article/d8028eb26a5544bd999bee7740ca3a44","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, Pp 281-306 (2017)","raw_type":"article"},{"id":"doi:10.13154/tosc.v2017.i1.281-306","is_oa":true,"landing_page_url":"https://doi.org/10.13154/tosc.v2017.i1.281-306","pdf_url":null,"source":{"id":"https://openalex.org/S7407052971","display_name":"UB Bochum","issn_l":null,"issn":[],"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","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01615487v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01615487","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IACR Transactions on Symmetric Cryptology, 2017, 2017 (1), pp.281--306","raw_type":"Journal articles"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1604898313","https://openalex.org/W2117014006","https://openalex.org/W4233815414","https://openalex.org/W2372170743","https://openalex.org/W1491899005","https://openalex.org/W1558545464","https://openalex.org/W2172791042","https://openalex.org/W1502414128","https://openalex.org/W1984303163","https://openalex.org/W1509211761"],"abstract_inverted_index":{"Search":[0],"for":[1,62,81,129,145],"different":[2],"types":[3],"of":[4,33,46,50,56,59,195],"distinguishers":[5],"are":[6],"common":[7],"tasks":[8],"in":[9,65,79,89,158],"symmetrickey":[10],"cryptanalysis.":[11],"In":[12],"this":[13],"work,":[14],"we":[15,27,70,123,135,155,181],"employ":[16],"the":[17,34,44,47,52,57,66,73,91,98,101,111,146,173,184,196],"constraint":[18,104,185],"programming":[19,186],"(CP)":[20],"technique":[21,187],"to":[22,43,110],"tackle":[23],"such":[24],"problems.":[25],"First,":[26],"show":[28,71,156],"that":[29,72,157,183],"a":[30,121,190],"simple":[31],"application":[32],"CP":[35,174],"approach":[36,75,175],"proposed":[37],"by":[38],"Gerault":[39],"et":[40],"al.":[41],"leads":[42],"solution":[45],"open":[48,102],"problem":[49],"determining":[51],"exact":[53],"lower":[54],"bound":[55],"number":[58],"active":[60],"S-boxes":[61],"6-round":[63],"AES-128":[64],"related-key":[67],"model.":[68,95],"Subsequently,":[69],"same":[74],"can":[76,176],"be":[77,177],"applied":[78],"searching":[80],"integral":[82],"distinguishers,":[83],"impossible":[84,127],"differentials,":[85],"zero-correlation":[86],"linear":[87],"approximations,":[88],"both":[90],"single-key":[92],"and":[93,107,116,169],"related-(twea)key":[94],"We":[96],"implement":[97],"method":[99],"using":[100],"source":[103],"solver":[105],"Choco":[106],"apply":[108],"it":[109],"block":[112],"ciphers":[113],"PRESENT,":[114],"SKINNY,":[115],"HIGHT":[117],"(ARX":[118],"construction).":[119],"As":[120],"result,":[122],"find":[124],"16":[125],"related-tweakey":[126],"differentials":[128],"12-round":[130],"SKINNY-64-128":[131,141],"based":[132],"on":[133,140],"which":[134],"construct":[136],"an":[137],"18-round":[138],"attack":[139],"(one":[142],"target":[143],"version":[144],"crypto":[147],"competition":[148],"https://sites.google.com/site/skinnycipher":[149],"announced":[150],"at":[151,193],"ASK":[152],"2016).":[153],"Moreover,":[154],"some":[159],"cases,":[160],"when":[161],"equipped":[162],"with":[163],"proper":[164],"strategies":[165],"(ordering":[166],"heuristic,":[167],"restart":[168],"dynamic":[170],"branching":[171],"strategy),":[172],"very":[178],"efficient.":[179],"Therefore,":[180],"suggest":[182],"should":[188],"become":[189],"convenient":[191],"tool":[192],"hand":[194],"symmetric-key":[197],"cryptanalysts.":[198]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}