Image de couverture de livre

Regular Expression Denial of Service Induced by Backreferences

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Liu, Yichen, Çakar, Berk, Agrawal, Aman, Seo, Minseok, Davis, James C., Lee, Dongyoon
Format:	Preprint
Publié:	2026
Sujets:	Cryptography and Security Formal Languages and Automata Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On the Expressive Power of Regular Expressions with Backreferences
par: Nogami, Taisei, et autres
Publié: (2023)

Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition
par: Nogami, Taisei, et autres
Publié: (2024)

Regular Expressions with Backreferences and Lookaheads Capture NLOG
par: Uezato, Yuya
Publié: (2024)

Reachability Analysis of the Domain Name System
par: Nevatia, Dhruv, et autres
Publié: (2024)

Automated generation of attack trees with optimal shape and labelling
par: Gadyatskaya, Olga, et autres
Publié: (2023)

Privacy-Preserving Runtime Verification
par: Henzinger, Thomas A., et autres
Publié: (2025)

Verification and Attack Synthesis for Network Protocols
par: von Hippel, Max
Publié: (2025)

Sharing The Secret: Distributed Privacy-Preserving Monitoring
par: Karimi, Mahyar, et autres
Publié: (2026)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
par: Waga, Masaki, et autres
Publié: (2024)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
par: Modesti, Paolo, et autres
Publié: (2021)

Attack Tree Generation via Process Mining
par: Konsta, Alyzia-Maria, et autres
Publié: (2024)

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
par: Amorim, Arthur, et autres
Publié: (2026)

Efficient Matching of Some Fundamental Regular Expressions with Backreferences
par: Nogami, Taisei, et autres
Publié: (2025)

Robust and Attack Resilient Logic Locking with a High Application-Level Impact
par: Liu, Yuntao, et autres
Publié: (2021)

Formally Verifying Noir Zero Knowledge Programs with NAVe
par: Antonino, Pedro, et autres
Publié: (2026)

Shallow Implementation of Quantum Fingerprinting with Application to Quantum Finite Automata
par: Ziiatdinov, Mansur, et autres
Publié: (2024)

Cellular Automata based Resource Efficient Maximally Equidistributed Pseudo-Random Number Generators
par: A, Bhuvaneswari, et autres
Publié: (2026)

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
par: Shi, Chenhao, et autres
Publié: (2023)

The Bright Side of Timed Opacity
par: André, Étienne, et autres
Publié: (2024)

Formally Discovering and Reproducing Network Protocols Vulnerabilities
par: Crochet, Christophe, et autres
Publié: (2025)

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
par: Zhang, Qifan, et autres
Publié: (2025)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
par: Ye, Kangfeng, et autres
Publié: (2025)

Agentproof: Static Verification of Agent Workflow Graphs
par: Xavier, Melwin, et autres
Publié: (2026)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
par: Khakpour, Narges, et autres
Publié: (2025)

Weighted Automata and Regular Expressions for Financial Systems
par: Droste, Manfred, et autres
Publié: (2026)

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
par: Zetzsche, Stefan, et autres
Publié: (2024)

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
par: Amorim, Arthur, et autres
Publié: (2024)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
par: Zhang, Linpeng, et autres
Publié: (2024)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
par: De Rosa, Mattia, et autres
Publié: (2025)

The Complexity of Aggregates over Extractions by Regular Expressions
par: Doleschal, Johannes, et autres
Publié: (2020)

Linear Matching of JavaScript Regular Expressions
par: Barrière, Aurèle, et autres
Publié: (2023)

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
par: Moran, Murat
Publié: (2026)

Towards Efficient Matching of Regexes with Backreferences using Register Set Automata (Technical Report)
par: Havlena, Vojtěch, et autres
Publié: (2022)

On Synthesis of Timed Regular Expressions
par: Wang, Ziran, et autres
Publié: (2025)

Waiting Nets: State Classes and Taxonomy
par: Hélouët, Loïc, et autres
Publié: (2022)

Computational Model for Parsing Expression Grammars
par: Rubtsov, Alexander, et autres
Publié: (2024)

Regular Languages in the Sliding Window Model
par: Ganardi, Moses, et autres
Publié: (2024)

Shuffles of Context-Free Languages along Regular Trajectories
par: Barloy, Corentin, et autres
Publié: (2026)

Regular Grammars for Sets of Graphs of Tree-Width 2
par: Bozga, Marius, et autres
Publié: (2024)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
par: Pert, Charles, et autres
Publié: (2024)