{"id":"https://openalex.org/W7155097269","doi":"https://doi.org/10.1109/icara69401.2026.11480280","title":"Counter-Augmented Deterministic Automata for Real-Time Regular Expression Matching Without State Explosion","display_name":"Counter-Augmented Deterministic Automata for Real-Time Regular Expression Matching Without State Explosion","publication_year":2026,"publication_date":"2026-02-05","ids":{"openalex":"https://openalex.org/W7155097269","doi":"https://doi.org/10.1109/icara69401.2026.11480280"},"language":null,"primary_location":{"id":"doi:10.1109/icara69401.2026.11480280","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icara69401.2026.11480280","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 12th International Conference on Automation, Robotics and Applications (ICARA)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067297477","display_name":"Alexandra Bernadotte","orcid":"https://orcid.org/0000-0002-8835-6583"},"institutions":[{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Alexandra Bernadotte","raw_affiliation_strings":["Lomonosov Moscow State University,Department of Mechanics and Mathematics"],"raw_orcid":"https://orcid.org/0000-0002-8835-6583","affiliations":[{"raw_affiliation_string":"Lomonosov Moscow State University,Department of Mechanics and Mathematics","institution_ids":["https://openalex.org/I19880235"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5067297477"],"corresponding_institution_ids":["https://openalex.org/I19880235"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.31773177,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"471","last_page":"475"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":0.37929999828338623,"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"}},"topics":[{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":0.37929999828338623,"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"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.32739999890327454,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.062300000339746475,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5329999923706055},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.48899999260902405},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.4625000059604645},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.4440000057220459},{"id":"https://openalex.org/keywords/regular-expression","display_name":"Regular expression","score":0.37059998512268066},{"id":"https://openalex.org/keywords/nondeterministic-finite-automaton","display_name":"Nondeterministic finite automaton","score":0.36809998750686646}],"concepts":[{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5329999923706055},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.48899999260902405},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4864000082015991},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.4625000059604645},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4440000057220459},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.4440000057220459},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41659998893737793},{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.37059998512268066},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.36809998750686646},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.353300005197525},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.30410000681877136},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2800000011920929},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2538999915122986}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icara69401.2026.11480280","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icara69401.2026.11480280","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 12th International Conference on Automation, Robotics and Applications (ICARA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6625089049339294,"id":"https://metadata.un.org/sdg/13","display_name":"Climate action"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1579874425","https://openalex.org/W1965680834","https://openalex.org/W2007283249","https://openalex.org/W2015535429","https://openalex.org/W2016995838","https://openalex.org/W2030102079","https://openalex.org/W2054801208","https://openalex.org/W2096474000","https://openalex.org/W2099964107","https://openalex.org/W2108962885","https://openalex.org/W2115345034","https://openalex.org/W2153244370","https://openalex.org/W2890796980","https://openalex.org/W2962895845","https://openalex.org/W4290725597","https://openalex.org/W4375854263","https://openalex.org/W4377705196","https://openalex.org/W4417227019"],"related_works":[],"abstract_inverted_index":{"Deterministic":[0],"finite":[1],"automata":[2],"(DFA)":[3],"are":[4],"widely":[5],"used":[6],"for":[7,31,100,112,126],"real-time":[8,122],"regular":[9,33,77,123],"expression":[10,34,78,124],"matching":[11,125],"in":[12],"network":[13,127],"intrusion":[14,128],"detection":[15,129],"systems":[16],"due":[17],"to":[18,81,105],"their":[19],"constant-time":[20],"processing":[21],"guarantees.":[22],"However,":[23],"DFA-based":[24],"approaches":[25],"suffer":[26],"from":[27],"exponential":[28,85],"state":[29,86],"growth":[30],"common":[32],"constructs,":[35],"including":[36],"wildcards$*$and":[37],"bounded":[38,69],"repetitions$\\{n,":[39],"m\\}$,":[40],"which":[41],"limits":[42],"scalability":[43],"and":[44,73,96,115,130],"enables":[45,120],"Regular":[46],"Expression":[47],"Denial":[48],"of":[49,71,93],"Service":[50],"(ReDoS)":[51],"attacks.":[52],"This":[53],"paper":[54],"introduces":[55],"a":[56,64,68],"counter-augmented":[57],"deterministic":[58],"automaton":[59],"(CADA)":[60],"architecture":[61],"that":[62],"augments":[63],"minimized":[65],"DFA":[66],"with":[67],"set":[70],"counters":[72],"trigger":[74],"mechanisms,":[75],"allowing":[76],"pattern":[79],"classes":[80],"be":[82],"recognized":[83],"without":[84],"growth.":[87],"We":[88],"formally":[89],"prove":[90],"the":[91,94,101],"correctness":[92],"construction":[95],"polynomial":[97],"memory":[98],"size":[99],"resulting":[102],"automaton.":[103],"Due":[104],"its":[106],"resource-efficient":[107],"design,":[108],"CADA":[109],"is":[110],"suitable":[111],"lowlatency":[113],"software":[114],"hardware":[116],"implementations.":[117],"The":[118],"approach":[119],"robust":[121],"other":[131],"high-throughput":[132],"streaming":[133],"applications.":[134]},"counts_by_year":[],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2026-04-22T00:00:00"}