Marijn J. H. Heule

Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version)

2017 · arXiv (Cornell University)

In an algorithmic complexity attack, a malicious party takes advantage of the worst-case behavior of an algorithm to cause denial-of-service. A prominent algorithmic complexity attack is regular expression denial-of-service (ReDoS), in which the attacker exploits …