{"id":"https://openalex.org/W7224865807","doi":"https://doi.org/10.46586/tosc.ah89kso-lm64","title":"Automatic Search for Value-Constraint DS-MITM Attacks with Table Lookups","display_name":"Automatic Search for Value-Constraint DS-MITM Attacks with Table Lookups","publication_year":2026,"publication_date":"2026-10-30","ids":{"openalex":"https://openalex.org/W7224865807","doi":"https://doi.org/10.46586/tosc.ah89kso-lm64"},"language":"en","primary_location":{"id":"doi:10.46586/tosc.ah89kso-lm64","doi":"https://doi.org/10.46586/tosc.ah89kso-lm64","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tosc.ah89kso-lm64","pdf_url":null,"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,"listed_in":["cwts-core","ddh","doaj","dongbi-b","jufo-1","norway-1","oarl","poland-20","russia-white-list-2"],"host_organization":"https://openalex.org/I904495901","host_organization_name":"Ruhr University Bochum","host_organization_lineage":["https://openalex.org/I904495901"],"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"},"volume":null,"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.46586/tosc.ah89kso-lm64","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063240513","display_name":"Weiqing Deng","orcid":"https://orcid.org/0009-0008-1175-1201","observed_orcids":["https://orcid.org/0009-0008-1175-1201","https://orcid.org/0009-0005-4197-5706"]},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weiqing Deng","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0005-4197-5706","affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035138461","display_name":"Eik List","orcid":"https://orcid.org/0000-0003-0369-4901","observed_orcids":["https://orcid.org/0000-0003-0369-4901"]},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Eik List","raw_affiliation_strings":["Nanyang Technological University, Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5160159146","display_name":"Haoyang Wang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haoyang Wang","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100436040","display_name":"Lei Wang","orcid":"https://orcid.org/0000-0002-9090-5289","observed_orcids":["https://orcid.org/0000-0002-9090-5289"]},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Wang","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.82356851,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2026","issue":"3","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":1.0,"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":1.0,"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.0,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/value-constraints","display_name":"value constraints","score":0.9279999732971191},{"id":"https://openalex.org/keywords/lookup-tables","display_name":"look-up table","score":0.9810000061988831},{"id":"https://openalex.org/keywords/skinny","display_name":"SKINNY","score":0.9150000214576721},{"id":"https://openalex.org/keywords/twine","display_name":"Twine","score":0.9120000004768372},{"id":"https://openalex.org/keywords/simon","display_name":"Simon","score":0.9160000085830688},{"id":"https://openalex.org/keywords/block-cipher-cryptanalysis","display_name":"block cipher cryptanalysis","score":0.5740000009536743}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7878000140190125},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.7408000230789185},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5027999877929688},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4740999937057495},{"id":"https://openalex.org/C106544461","wikidata":"https://www.wikidata.org/wiki/Q543151","display_name":"Block cipher","level":3,"score":0.4553999900817871},{"id":"https://openalex.org/C2780221543","wikidata":"https://www.wikidata.org/wiki/Q4681865","display_name":"Cipher","level":3,"score":0.3880999982357025},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.35519999265670776},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3544999957084656},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.350600004196167},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.32690000534057617},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3244999945163727},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.30809998512268066}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.46586/tosc.ah89kso-lm64","doi":"https://doi.org/10.46586/tosc.ah89kso-lm64","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tosc.ah89kso-lm64","pdf_url":null,"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,"listed_in":["cwts-core","ddh","doaj","dongbi-b","jufo-1","norway-1","oarl","poland-20","russia-white-list-2"],"host_organization":"https://openalex.org/I904495901","host_organization_name":"Ruhr University Bochum","host_organization_lineage":["https://openalex.org/I904495901"],"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:980e9f97bc92468581a3574f1d851bf1","doi":null,"is_oa":false,"landing_page_url":"https://doaj.org/article/980e9f97bc92468581a3574f1d851bf1","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,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IACR Transactions on Symmetric Cryptology, Vol 2026, Iss 3 (2026)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46586/tosc.ah89kso-lm64","doi":"https://doi.org/10.46586/tosc.ah89kso-lm64","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tosc.ah89kso-lm64","pdf_url":null,"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,"listed_in":["cwts-core","ddh","doaj","dongbi-b","jufo-1","norway-1","oarl","poland-20","russia-white-list-2"],"host_organization":"https://openalex.org/I904495901","host_organization_name":"Ruhr University Bochum","host_organization_lineage":["https://openalex.org/I904495901"],"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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4308483531","https://openalex.org/W2898254287","https://openalex.org/W4394930591","https://openalex.org/W4365807251","https://openalex.org/W7119510343","https://openalex.org/W4377242422","https://openalex.org/W1409313141","https://openalex.org/W2573720548","https://openalex.org/W3196213677","https://openalex.org/W3008985765"],"abstract_inverted_index":{"Demirci-Sel\u00e7uk":[0],"meet-in-the-middle":[1],"(DS-MITM)":[2],"attacks":[3,15,93,113,160],"are":[4,10],"effective":[5],"against":[6],"many":[7],"primitives":[8],"and":[9,40,52,70,122,139,149,178],"responsible":[11],"for":[12],"some":[13,58],"state-of-the-art":[14],"on":[16,94,161,170],"widespread":[17],"standards,":[18],"such":[19,66,84,133],"as":[20,67,85,134],"round-reduced":[21,95],"AES.":[22],"As":[23],"with":[24],"other":[25],"types":[26],"of":[27,59,111,136,175],"attacks,":[28,83],"the":[29,60,63,107,144,150,165,173,176],"community":[30],"has":[31],"proposed":[32,77],"automatic":[33],"tools":[34,43],"to":[35,62,81,91,131,143],"help":[36],"cryptographers":[37],"find":[38],"distinguishers":[39],"attacks.":[41],"The":[42],"developed":[44],"by":[45,114],"Shi":[46],"et":[47],"al.":[48],"at":[49],"ASIACRYPT":[50],"2018":[51],"EUROCRYPT":[53],"2023":[54],"can":[55],"already":[56],"capture":[57],"improvements":[61],"basic":[64],"technique,":[65],"differential":[68],"enumeration":[69],"key":[71],"dependencies.":[72],"However,":[73],"recent":[74],"works":[75],"have":[76,89],"further":[78],"technical":[79],"refinements":[80],"DS-MITM":[82,112,159,168],"value":[86,120],"constraints,":[87],"which":[88],"led":[90],"improved":[92,158],"AES":[96],"but":[97,141],"still":[98],"lack":[99],"automation":[100],"support.":[101],"In":[102],"this":[103],"work,":[104],"we":[105],"extend":[106],"earlier":[108],"modelling":[109],"approaches":[110],"proposing":[115],"a":[116],"framework":[117,128],"that":[118],"integrates":[119],"constraints":[121],"table":[123],"lookups.":[124],"We":[125,156],"apply":[126],"our":[127,179],"not":[129],"only":[130],"SPNs,":[132],"variants":[135],"Rijndael,":[137],"SKINNY,":[138],"Vistrutah,":[140],"also":[142],"Type-II":[145],"Feistel":[146,153],"design":[147],"TWINE":[148],"bit-oriented":[151],"balanced":[152],"cipher":[154],"SIMON.":[155],"show":[157],"these":[162],"variants,":[163],"including":[164],"first":[166],"10-round":[167],"attack":[169],"Rijndael-256-256,":[171],"demonstrating":[172],"effectiveness":[174],"technique":[177],"framework.":[180]},"counts_by_year":[],"updated_date":"2026-11-03T10:50:19.383937","created_date":"2026-10-31T00:00:00"}