Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions.
Valentin WüstholzOswaldo OlivoMarijn J. H. HeuleIsil DilligPublished in: TACAS (2) (2017)
Keyphrases
- regular expressions
- pattern matching
- finite automata
- xml schema
- matching algorithm
- finite state machines
- query language
- regular path queries
- tree automata
- semistructured data
- deterministic finite automata
- regular languages
- graph databases
- network attacks
- denial of service
- database
- information security
- domain knowledge
- databases