-
Abstraction-based Malware Analysis Using Rewriting and Model Checking
International audience -
Behavior Analysis of Malicious Code by Weighted Behavior Abstraction
This work is a weighted generalization of the abstraction based analysis technique we previously proposed for the detection of high-level malware behaviors. Our...
