1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.PL2016
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…
cs.PL2013★ 1 cited
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.…
cs.PL2012
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…