Automated extraction of polymorphic virus signatures using abstract interpretation.

Serge Chaumette Olivier Ly Renaud Tabary

Published in: NSS (2011)

Keyphrases

abstract interpretation
static analysis
termination analysis
dynamic analysis
model checking
active rules
source code
reasoning engine
active databases
anti virus
regular expressions
relational databases
test suite