Olivier Decourbe

Optimizing symbolic execution for malware behavior classification

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2020, Comput. Secur..

Detection of Mirai by Syntactic and Behavioral Analysis

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2018, 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE).

Detection of Mirai by Syntactic and Semantic Analysis

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2017 .

New Results - Results for Axis 2: Malware analysis

Jean-Louis Lanet, Axel Legay, Fabrizio Biondi, 2016 .

Efficient Extraction of Malware Signatures Through System Calls and Symbolic Execution: An Experience Report

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2018 .