2 citations · 5 across the 4 of their papers we have counts for
4 papers
Static Analysis for Regular Expression Exponential Runtime via Substructural Logics (Extended)
Asiri Rathnayake, Hayo Thielecke
Regular expression matching using backtracking can have exponential runtime, leading to an algorithmic complexity attack known as REDoS in the systems security literature. In this…
Static Analysis for Regular Expression Denial-of-Service Attacks
James Kirrage, Asiri Rathnayake, Hayo Thielecke
Regular expressions are a concise yet expressive language for expressing patterns. For instance, in networked software, they are used for input validation and intrusion detection.…
Regular Expression Matching and Operational Semantics
Asiri Rathnayake, Hayo Thielecke
Many programming languages and tools, ranging from grep to the Java String library, contain regular expression matchers. Rather than first translating a regular expression into a d…
Proceedings Eight Workshop on Structural Operational Semantics 2011
M. A. Reniers, P. Sobocinski
This volume contains the proceedings of SOS 2011, the Eight Workshop on Structural Operational Semantics, held on the 5th of September 2011 in Aachen, Germany as an affiliated work…