Login / Signup
Statically-Informed Dynamic Analysis Tools to Detect Algorithmic Complexity Vulnerabilities.
Benjamin Holland
Ganesh Ram Santhanam
Payas Awadhutkar
Suresh C. Kothari
Published in:
SCAM (2016)
Keyphrases
</>
dynamic analysis
static analysis
reverse engineering
detection method
software tools
object oriented
malicious behavior
end users
detection algorithm
security vulnerabilities
decision support
model checking
abstract interpretation
databases
automatic detection
database systems
knowledge base
real world