Mining Malware Specifications through Static Reachability Analysis.
Hugo Daniel MacedoTayssir TouiliPublished in: ESORICS (2013)
Keyphrases
- reachability analysis
- model checking
- dynamic analysis
- control flow
- markov decision processes
- formal specification
- data mining
- timed automata
- text mining
- knowledge discovery
- incremental algorithms
- malware detection
- high level
- static analysis
- reverse engineering
- pattern mining
- frequent patterns
- data mining techniques
- learning algorithm
- itemsets
- source code
- software engineering
- state space
- machine learning