53 citations · 85 across the 12 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 1 cited
Failure-Directed Program Trimming (Extended Version)
Kostas Ferles, Valentin Wüstholz, Maria Christakis +1
This paper describes a new program simplification technique called program trimming that aims to improve the scalability and precision of safety checking tools. Given a program ${\…
cs.CR2017★ 1 cited
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version)
Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule +1
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 att…