{"id":"https://openalex.org/W3123705249","doi":"https://doi.org/10.1145/3324884.3416556","title":"FlashRegex","display_name":"FlashRegex","publication_year":2020,"publication_date":"2020-12-21","ids":{"openalex":"https://openalex.org/W3123705249","doi":"https://doi.org/10.1145/3324884.3416556","mag":"3123705249"},"language":"en","primary_location":{"id":"doi:10.1145/3324884.3416556","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3324884.3416556","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3324884.3416556","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3324884.3416556","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037974123","display_name":"Yeting Li","orcid":"https://orcid.org/0000-0003-0991-4231"},"institutions":[{"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":true,"raw_author_name":"Yeting Li","raw_affiliation_strings":["University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089943764","display_name":"Zhiwu Xu","orcid":"https://orcid.org/0000-0001-6727-440X"},"institutions":[{"id":"https://openalex.org/I180726961","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70","country_code":"CN","type":"education","lineage":["https://openalex.org/I180726961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiwu Xu","raw_affiliation_strings":["Shenzhen University, Shenzhen, China"],"affiliations":[{"raw_affiliation_string":"Shenzhen University, Shenzhen, China","institution_ids":["https://openalex.org/I180726961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053372458","display_name":"Jialun Cao","orcid":"https://orcid.org/0000-0003-4892-6294"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Jialun Cao","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101722905","display_name":"Haiming Chen","orcid":"https://orcid.org/0000-0002-2659-4148"},"institutions":[{"id":"https://openalex.org/I4210086710","display_name":"Beijing Academy of Social Sciences","ror":"https://ror.org/003ayef58","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210086710"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haiming Chen","raw_affiliation_strings":["Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210086710"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048219544","display_name":"Tingjian Ge","orcid":"https://orcid.org/0000-0003-2225-8291"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tingjian Ge","raw_affiliation_strings":["University of Massachusetts"],"affiliations":[{"raw_affiliation_string":"University of Massachusetts","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034057959","display_name":"Shing-Chi Cheung","orcid":"https://orcid.org/0000-0002-3508-7172"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Shing-Chi Cheung","raw_affiliation_strings":["University of Science and Technology, Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042738334","display_name":"Haoren Zhao","orcid":null},"institutions":[{"id":"https://openalex.org/I88830068","display_name":"Shaanxi Normal University","ror":"https://ror.org/0170z8493","country_code":"CN","type":"education","lineage":["https://openalex.org/I88830068"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haoren Zhao","raw_affiliation_strings":["Shaanxi Normal University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Shaanxi Normal University, Xi'an, China","institution_ids":["https://openalex.org/I88830068"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5037974123"],"corresponding_institution_ids":["https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":2.7827,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.92653828,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"659","last_page":"671"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.841705322265625},{"id":"https://openalex.org/keywords/regular-expression","display_name":"Regular expression","score":0.7378019690513611},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4969084560871124},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.46294108033180237}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.841705322265625},{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.7378019690513611},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4969084560871124},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.46294108033180237}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3324884.3416556","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3324884.3416556","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3324884.3416556","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-106365","is_oa":false,"landing_page_url":"https://repository.hkust.edu.hk/ir/Record/1783.1-106365","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"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":"Conference paper"},{"id":"pmh:oai:repository.ust.hk:1783.1-106365","is_oa":false,"landing_page_url":"http://repository.ust.hk/ir/Record/1783.1-106365","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"}],"best_oa_location":{"id":"doi:10.1145/3324884.3416556","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3324884.3416556","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3324884.3416556","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1100817172","display_name":null,"funder_award_id":"619320","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1640893597","display_name":null,"funder_award_id":"#61932021","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1888249465","display_name":null,"funder_award_id":"61932021","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2037522653","display_name":null,"funder_award_id":"61972260","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2908618456","display_name":null,"funder_award_id":"61472405","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G350786220","display_name":"BIGDATA: Collaborative Research: F: Association Analysis of Big Graphs: Models, Algorithms and Applications","funder_award_id":"1633271","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G39804020","display_name":null,"funder_award_id":"51501157","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4993840398","display_name":null,"funder_award_id":"2019A15","funder_id":"https://openalex.org/F4320337111","funder_display_name":"Basic and Applied Basic Research Foundation of Guangdong Province"},{"id":"https://openalex.org/G5744364705","display_name":null,"funder_award_id":"1633271","funder_id":"https://openalex.org/F4320337389","funder_display_name":"Division of Information and Intelligent Systems"},{"id":"https://openalex.org/G5819239615","display_name":null,"funder_award_id":"61872339","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6849482787","display_name":null,"funder_award_id":"6197226","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7097245526","display_name":null,"funder_award_id":"61836005","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7219935079","display_name":null,"funder_award_id":"2019A1515011577","funder_id":"https://openalex.org/F4320337111","funder_display_name":"Basic and Applied Basic Research Foundation of Guangdong Province"},{"id":"https://openalex.org/G7803258927","display_name":null,"funder_award_id":"61772347","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8486308575","display_name":null,"funder_award_id":"61872339,61472405,61972260,61772347,61836005,61932021","funder_id":"https://openalex.org/F4320327720","funder_display_name":"Foundation for Innovative Research Groups of the National Natural Science Foundation of China"},{"id":"https://openalex.org/G8739003531","display_name":null,"funder_award_id":"IIS-1633271","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320327720","display_name":"Foundation for Innovative Research Groups of the National Natural Science Foundation of China","ror":null},{"id":"https://openalex.org/F4320337111","display_name":"Basic and Applied Basic Research Foundation of Guangdong Province","ror":null},{"id":"https://openalex.org/F4320337389","display_name":"Division of Information and Intelligent Systems","ror":"https://ror.org/053a2cp42"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3123705249.pdf","grobid_xml":"https://content.openalex.org/works/W3123705249.grobid-xml"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W87129872","https://openalex.org/W639355536","https://openalex.org/W1480909796","https://openalex.org/W1510293570","https://openalex.org/W1572934822","https://openalex.org/W1813069714","https://openalex.org/W1973797065","https://openalex.org/W1980938256","https://openalex.org/W1983424264","https://openalex.org/W1986152782","https://openalex.org/W2017603160","https://openalex.org/W2026994445","https://openalex.org/W2038123353","https://openalex.org/W2049311030","https://openalex.org/W2059383863","https://openalex.org/W2063985934","https://openalex.org/W2072607050","https://openalex.org/W2075079981","https://openalex.org/W2080666934","https://openalex.org/W2093535699","https://openalex.org/W2106950427","https://openalex.org/W2113422425","https://openalex.org/W2132525863","https://openalex.org/W2164611950","https://openalex.org/W2275294428","https://openalex.org/W2409856616","https://openalex.org/W2416325154","https://openalex.org/W2496170334","https://openalex.org/W2506796853","https://openalex.org/W2531982678","https://openalex.org/W2536870052","https://openalex.org/W2550471858","https://openalex.org/W2556618900","https://openalex.org/W2569219525","https://openalex.org/W2603401210","https://openalex.org/W2604580999","https://openalex.org/W2606344517","https://openalex.org/W2626990892","https://openalex.org/W2752340395","https://openalex.org/W2760683747","https://openalex.org/W2767914643","https://openalex.org/W2787466570","https://openalex.org/W2888047193","https://openalex.org/W2890260889","https://openalex.org/W2899462170","https://openalex.org/W2940609431","https://openalex.org/W2963058168","https://openalex.org/W2964284687","https://openalex.org/W2968339949","https://openalex.org/W2971034829","https://openalex.org/W2979577724","https://openalex.org/W2999135213","https://openalex.org/W3106010854","https://openalex.org/W3150132563","https://openalex.org/W4237412827"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2563334590","https://openalex.org/W2390279801","https://openalex.org/W2807616588","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W3094387502"],"abstract_inverted_index":{"Regular":[0],"expressions":[1],"(regexes)":[2],"are":[3],"widely":[4],"used":[5],"in":[6,61,233],"different":[7],"fields":[8],"of":[9,37,96,110,161,231,235],"computer":[10],"science":[11],"such":[12],"as":[13],"programming":[14],"languages,":[15],"string":[16],"processing":[17],"and":[18,91,113,141,149,155,167,213,226,239],"databases.":[19],"However,":[20],"existing":[21,153,165,210],"tools":[22,157,169,212],"for":[23,70],"synthesizing":[24,76],"or":[25,77,119],"repairing":[26,78],"regexes":[27,73,105,112,145],"were":[28],"not":[29],"designed":[30],"to":[31,34,56,102,172,179],"be":[32],"resilient":[33],"Regex":[35],"Denial":[36],"Service":[38],"(ReDoS)":[39],"attacks.":[40,59],"Specifically,":[41,163],"if":[42],"a":[43,66],"regex":[44,89,175,189,200,221],"has":[45,206],"super-linear":[46],"(SL)":[47],"worst-case":[48],"complexity,":[49],"an":[50],"attacker":[51],"could":[52],"provide":[53],"carefully-crafted":[54],"inputs":[55],"launch":[57],"ReDoS":[58],"Therefore,":[60],"this":[62],"paper,":[63],"we":[64],"propose":[65],"programming-by-example":[67],"framework,":[68],"FlashRegex,":[69],"generating":[71],"anti-ReDoS":[72,104,144],"by":[74,106,114],"either":[75],"from":[79,146],"given":[80,147],"examples.":[81],"It":[82],"is":[83],"the":[84,94,108,164,195,229,236],"first":[85],"framework":[86],"that":[87,136,152,204],"integrates":[88],"synthesis":[90,154,166],"repair":[92,156,168,201,211,223],"with":[93,127],"awareness":[95],"ReDoS-vulnerabilities.":[97],"We":[98,124],"present":[99],"novel":[100],"algorithms":[101],"deduce":[103],"reducing":[107],"ambiguity":[109],"these":[111],"using":[115],"Boolean":[116],"Satisfiability":[117],"(SAT)":[118],"Neighborhood":[120],"Search":[121],"(NS)":[122],"techniques.":[123],"evaluate":[125],"FlashRegex":[126,185,205,232],"five":[128,192],"related":[129],"state-of-the-art":[130],"tools.":[131],"The":[132],"evaluation":[133,196],"results":[134,197],"show":[135,203],"our":[137],"work":[138],"can":[139],"effectively":[140],"efficiently":[142],"generate":[143],"examples,":[148],"also":[150,202],"reveal":[151],"have":[158],"neglected":[159],"ReDoS-vulnerabilities":[160],"regexes.":[162],"generated":[170,186],"up":[171],"394":[173],"ReDoS-vulnerable":[174,199],"within":[176,190],"few":[177],"seconds":[178],"more":[180,219],"than":[181,209],"one":[182],"hour,":[183],"while":[184],"no":[187],"SL":[188],"around":[191],"seconds.":[193],"Furthermore,":[194],"on":[198],"better":[207],"capability":[208],"even":[214],"human":[215],"experts,":[216],"achieving":[217],"4":[218],"ReDoS-invulnerable":[220],"after":[222],"without":[224],"trimming":[225],"resorting,":[227],"highlighting":[228],"usefulness":[230],"terms":[234],"generality,":[237],"automation":[238],"user-friendliness.":[240]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2021-02-01T00:00:00"}