A computability perspective on self-modifying programsReportar como inadecuado

A computability perspective on self-modifying programs - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 CARTE - Theoretical adverse computations, and safety Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods

Abstract : In order to increase their stealth, malware com- monly use the self-modification property of programs. By doing so, programs can hide their real code so that it is difficult to define a signature for it. But then, what is the meaning of those programs: the obfuscated form, or the hidden one? Furthermore, from a computability perspective, it becomes hard to speak about the program since, its own code varies over time. To cope with these issues, we provide an operational semantics for self-modifying programs and we show that they can be constructively rewritten to a non-modifying program.

Keywords : Self-modifying code semantics computability virus obfuscation

Autor: Guillaume Bonfante - Jean-Yves Marion - Daniel Reynaud -

Fuente: https://hal.archives-ouvertes.fr/


Documentos relacionados