{"id":"https://openalex.org/W4390605506","doi":"https://doi.org/10.1145/3632871","title":"EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis","display_name":"EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis","publication_year":2024,"publication_date":"2024-01-02","ids":{"openalex":"https://openalex.org/W4390605506","doi":"https://doi.org/10.1145/3632871"},"language":"en","primary_location":{"id":"doi:10.1145/3632871","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632871","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632871","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3632871","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103273946","display_name":"Pu Sun","orcid":"https://orcid.org/0009-0009-5840-0246"},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Pu Sun","raw_affiliation_strings":["ShanghaiTech University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0009-5840-0246","affiliations":[{"raw_affiliation_string":"ShanghaiTech University, Shanghai, China","institution_ids":["https://openalex.org/I30809798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027425633","display_name":"Fu Song","orcid":"https://orcid.org/0000-0002-0581-2679"},"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/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":"Fu Song","raw_affiliation_strings":["Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China","Chinese Academy of Sciences, Beijing, China / University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-0581-2679","affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Chinese Academy of Sciences, Beijing, China / University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026181425","display_name":"Yuqi Chen","orcid":"https://orcid.org/0000-0003-2988-6012"},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuqi Chen","raw_affiliation_strings":["ShanghaiTech University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-2988-6012","affiliations":[{"raw_affiliation_string":"ShanghaiTech University, Shanghai, China","institution_ids":["https://openalex.org/I30809798"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030747944","display_name":"Taolue Chen","orcid":"https://orcid.org/0000-0002-5993-1665"},"institutions":[{"id":"https://openalex.org/I98259816","display_name":"Birkbeck, University of London","ror":"https://ror.org/02mb95055","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I98259816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Taolue Chen","raw_affiliation_strings":["Birkbeck University of London, London, UK"],"raw_orcid":"https://orcid.org/0000-0002-5993-1665","affiliations":[{"raw_affiliation_string":"Birkbeck University of London, London, UK","institution_ids":["https://openalex.org/I98259816"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5103273946"],"corresponding_institution_ids":["https://openalex.org/I30809798"],"apc_list":null,"apc_paid":null,"fwci":1.3245,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.82034326,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":"8","issue":"POPL","first_page":"848","last_page":"881"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9998999834060669,"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.9998999834060669,"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.9990000128746033,"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/T11017","display_name":"Chaos-based Image/Signal Encryption","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/linear-cryptanalysis","display_name":"Linear cryptanalysis","score":0.8878048658370972},{"id":"https://openalex.org/keywords/differential-cryptanalysis","display_name":"Differential cryptanalysis","score":0.8801124095916748},{"id":"https://openalex.org/keywords/block-cipher","display_name":"Block cipher","score":0.8029047250747681},{"id":"https://openalex.org/keywords/higher-order-differential-cryptanalysis","display_name":"Higher-order differential cryptanalysis","score":0.7338995933532715},{"id":"https://openalex.org/keywords/impossible-differential-cryptanalysis","display_name":"Impossible differential cryptanalysis","score":0.6599979400634766},{"id":"https://openalex.org/keywords/cryptanalysis","display_name":"Cryptanalysis","score":0.6470639705657959},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6322945356369019},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5424324870109558},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5167228579521179},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.44067493081092834},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3626704812049866}],"concepts":[{"id":"https://openalex.org/C82424418","wikidata":"https://www.wikidata.org/wiki/Q1826463","display_name":"Linear cryptanalysis","level":4,"score":0.8878048658370972},{"id":"https://openalex.org/C36123800","wikidata":"https://www.wikidata.org/wiki/Q1224471","display_name":"Differential cryptanalysis","level":4,"score":0.8801124095916748},{"id":"https://openalex.org/C106544461","wikidata":"https://www.wikidata.org/wiki/Q543151","display_name":"Block cipher","level":3,"score":0.8029047250747681},{"id":"https://openalex.org/C151607707","wikidata":"https://www.wikidata.org/wiki/Q11673206","display_name":"Higher-order differential cryptanalysis","level":5,"score":0.7338995933532715},{"id":"https://openalex.org/C120488936","wikidata":"https://www.wikidata.org/wiki/Q3005748","display_name":"Impossible differential cryptanalysis","level":5,"score":0.6599979400634766},{"id":"https://openalex.org/C181149355","wikidata":"https://www.wikidata.org/wiki/Q897511","display_name":"Cryptanalysis","level":3,"score":0.6470639705657959},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6322945356369019},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5424324870109558},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5167228579521179},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.44067493081092834},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3626704812049866},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3632871","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632871","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632871","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:eprints.bbk.ac.uk.oai2:56774","is_oa":true,"landing_page_url":null,"pdf_url":"https://eprints.bbk.ac.uk/id/eprint/56774/1/EasyBC_POPLcrv.pdf","source":{"id":"https://openalex.org/S4306400466","display_name":"BIROn (Birkbeck, University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98259816","host_organization_name":"Birkbeck, University of London","host_organization_lineage":["https://openalex.org/I98259816"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"}],"best_oa_location":{"id":"doi:10.1145/3632871","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632871","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632871","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3040344780","display_name":null,"funder_award_id":"2072309, 61872340","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3634938242","display_name":null,"funder_award_id":"KFKT2023A04","funder_id":"https://openalex.org/F4320326895","funder_display_name":"State Key Laboratory of Novel Software Technology"},{"id":"https://openalex.org/G450653452","display_name":null,"funder_award_id":"62072309","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4677120484","display_name":null,"funder_award_id":"YSBR-040","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5509612950","display_name":null,"funder_award_id":"61872340","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"},{"id":"https://openalex.org/F4320324852","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760"},{"id":"https://openalex.org/F4320326895","display_name":"State Key Laboratory of Novel Software Technology","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4390605506.pdf","grobid_xml":"https://content.openalex.org/works/W4390605506.grobid-xml"},"referenced_works_count":82,"referenced_works":["https://openalex.org/W45372631","https://openalex.org/W118865363","https://openalex.org/W148161500","https://openalex.org/W153516704","https://openalex.org/W182571705","https://openalex.org/W197228877","https://openalex.org/W250828250","https://openalex.org/W380217570","https://openalex.org/W602497127","https://openalex.org/W1427832936","https://openalex.org/W1481972931","https://openalex.org/W1497721867","https://openalex.org/W1539178658","https://openalex.org/W1546257376","https://openalex.org/W1883151075","https://openalex.org/W1892798954","https://openalex.org/W1894646615","https://openalex.org/W1897454360","https://openalex.org/W1904699185","https://openalex.org/W1965888001","https://openalex.org/W1967836144","https://openalex.org/W1978695162","https://openalex.org/W2010870387","https://openalex.org/W2069489561","https://openalex.org/W2087928947","https://openalex.org/W2095934050","https://openalex.org/W2099509725","https://openalex.org/W2109394932","https://openalex.org/W2281317404","https://openalex.org/W2295061292","https://openalex.org/W2481495684","https://openalex.org/W2495518322","https://openalex.org/W2504919933","https://openalex.org/W2605079652","https://openalex.org/W2741840250","https://openalex.org/W2765474737","https://openalex.org/W2766545755","https://openalex.org/W2782859210","https://openalex.org/W2793713134","https://openalex.org/W2885614120","https://openalex.org/W2887484274","https://openalex.org/W2895222581","https://openalex.org/W2901745692","https://openalex.org/W2912228798","https://openalex.org/W2915053247","https://openalex.org/W2955155286","https://openalex.org/W2955723980","https://openalex.org/W2978588021","https://openalex.org/W3013007656","https://openalex.org/W3047042867","https://openalex.org/W3048654417","https://openalex.org/W3049306273","https://openalex.org/W3097184403","https://openalex.org/W3132102707","https://openalex.org/W3145225151","https://openalex.org/W3146780285","https://openalex.org/W3148902008","https://openalex.org/W3184685339","https://openalex.org/W3186823704","https://openalex.org/W4206084549","https://openalex.org/W4233081111","https://openalex.org/W4234713688","https://openalex.org/W4235801565","https://openalex.org/W4241072010","https://openalex.org/W4242766192","https://openalex.org/W4253338219","https://openalex.org/W4254214383","https://openalex.org/W4284670867","https://openalex.org/W4295026871","https://openalex.org/W4295066888","https://openalex.org/W4295067110","https://openalex.org/W4300349690","https://openalex.org/W4301267657","https://openalex.org/W4308269287","https://openalex.org/W4308288844","https://openalex.org/W4312790749","https://openalex.org/W4384471309","https://openalex.org/W4390605506","https://openalex.org/W4398224880","https://openalex.org/W6605793860","https://openalex.org/W6960718987","https://openalex.org/W6968978714"],"related_works":["https://openalex.org/W2557174342","https://openalex.org/W2996824228","https://openalex.org/W4230315357","https://openalex.org/W57168481","https://openalex.org/W1410349837","https://openalex.org/W1598870173","https://openalex.org/W2593607592","https://openalex.org/W1846045953","https://openalex.org/W2786560893","https://openalex.org/W1849484603"],"abstract_inverted_index":{"Differential":[0],"cryptanalysis":[1,25,149,162],"is":[2,110],"a":[3,8,58],"powerful":[4],"algorithmic-level":[5],"attack,":[6],"playing":[7],"central":[9],"role":[10],"in":[11,86],"evaluating":[12],"the":[13,21,30,78,120,124,133,140,145],"security":[14],"of":[15,80,102,123,135],"symmetric":[16],"cryptographic":[17,116],"primitives.":[18],"In":[19,36],"general,":[20],"resistance":[22,100,146,158],"against":[23,105,147,160],"differential":[24,33,73,106,148,161],"can":[26,142],"be":[27],"characterized":[28],"by":[29],"maximum":[31],"expected":[32],"characteristic":[34],"probability.":[35,55],"this":[37],"paper,":[38],"we":[39],"present":[40],"generic":[41],"and":[42,67,137],"extensible":[43],"approaches":[44],"based":[45],"on":[46,113],"mixed":[47],"integer":[48],"linear":[49],"programming":[50],"(MILP)":[51],"to":[52,76,165],"bound":[53],"such":[54],"We":[56,89],"design":[57],"high-level":[59],"cryptography-specific":[60],"language":[61],"EasyBc":[62,87,136,156],"tailored":[63],"for":[64,97,150],"block":[65,83,103,152],"ciphers":[66,84,104,153],"provide":[68],"various":[69],"rigorous":[70],"procedures":[71],"as":[72],"denotational":[74],"semantics,":[75],"automate":[77],"generation":[79],"MILP":[81],"from":[82],"written":[85],".":[88],"implement":[90],"an":[91],"open-sourced":[92],"tool":[93,109,141],"that":[94,139],"provides":[95],"support":[96],"fully":[98],"automated":[99],"evaluation":[101,159],"cryptanalysis.":[107],"The":[108,130],"extensively":[111],"evaluated":[112],"23":[114],"real-life":[115],"primitives":[117],"including":[118],"all":[119,151],"10":[121],"finalists":[122],"NIST":[125],"lightweight":[126],"cryptography":[127],"standardization":[128],"process.":[129],"experiments":[131],"confirm":[132],"expressivity":[134],"show":[138],"effectively":[143],"prove":[144],"under":[154],"consideration.":[155],"makes":[157],"easily":[163],"accessible":[164],"cryptographers.":[166]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}