-
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... -
The earliest formal language and its associated finite state evaluation autom...
In this paper we describe a formal language for a class of logical expressions. We then present a Finite State Machine for recognition and for evaluation of this... -
On labeled birooted tree languages: algebras, automata and logic
International audience
