Işıl Dillig

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 …

Synthesizing data structure transformations from input-output examples

2015 · ACM SIGPLAN Notices

We present a method for example-guided synthesis of functional programs over recursive data structures. Given a set of input-output examples, our method synthesizes a program in a functional language with higher-order combinators like map and …