-
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... -
Information Flow Policies vs Malware
Application markets offer more than 700'000 applications: music, movies, games or small tools. It appears more and more difficult to propose an automatic and... -
Analysis and Diversion of Duqu's Driver
International audience
