Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes
L’analyse de codes malveillants est un domaine de recherche en pleine expansion de par la criticité des infrastructures touchées et les coûts impliqués de plus en plus élevés. Ces logiciels utilisent fréquemment différentes techniques d’évasion visant à limiter la détection et ralentir les analyses....
Main Author: | David, Robin |
---|---|
Other Authors: | Université de Lorraine |
Language: | en |
Published: |
2017
|
Subjects: | |
Online Access: | http://www.theses.fr/2017LORR0013/document |
Similar Items
-
Automatic Deobfuscation and Reverse Engineering of Obfuscated Code
by: Yadegari, Babak
Published: (2016) -
Deobfuscation of Packed and Virtualization-Obfuscation Protected Binaries
by: Coogan, Kevin Patrick
Published: (2011) -
Infeasible Path Detection : a Formal Model and an Algorithm
by: Aïssat, Romain
Published: (2017) -
Impact of Code Deobfuscation and Feature Interaction in Android Malware Detection
by: Yun-Chung Chen, et al.
Published: (2021-01-01) -
Vérification formelle de protocoles basés sur de courtes chaines authentifiées
by: Robin, Ludovic
Published: (2018)