2 citations · 6 across the 6 of their papers we have counts for
6 papers
Command injection attacks, continuations, and the Lambek calculus
Hayo Thielecke
This paper shows connections between command injection attacks, continuations, and the Lambek calculus: certain command injections, such as the tautology attack on SQL, are shown t…
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.…
Operational semantics for signal handling
Maxim Strygin, Hayo Thielecke
Signals are a lightweight form of interprocess communication in Unix. When a process receives a signal, the control flow is interrupted and a previously installed signal handler is…
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…