On Abstract Computer Virology from a Recursion Theoretic Perspective

Bonfante, Guillaume; Kaczmarek, Matthieu; Marion, Jean-Yves

doi:10.1007/s11416-005-0007-4

Cited by 30 publications

(48 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…From there, the virus may also inject itself into p. For this, v uses a propagation vector in order to infect p. In accordance with Bonfante et al [11], the propagation vector is represented by a specializer spec. For example, v may insert its program at the beginning or at the end of p, or yet it may shuffle its code inside p. However, it is not our real concern in this study.…”

Section: (B) a Compiler Virusmentioning

confidence: 99%

See 1 more Smart Citation

From Turing machines to computer viruses

Marion

2012

Phil. Trans. R. Soc. A.

View full text Add to dashboard Cite

Self-replication is one of the fundamental aspects of computing where a program or a system may duplicate, evolve and mutate. Our point of view is that Kleene's (second) recursion theorem is essential to understand self-replication mechanisms. An interesting example of self-replication codes is given by computer viruses. This was initially explained in the seminal works of Cohen and of Adleman in the 1980s. In fact, the different variants of recursion theorems provide and explain constructions of self-replicating codes and, as a result, of various classes of malware. None of the results are new from the point of view of computability theory. We now propose a self-modifying register machine as a model of computation in which we can effectively deal with the self-reproduction and in which new offsprings can be activated as independent organisms.

show abstract

Section: (B) a Compiler Virusmentioning

confidence: 99%

“…In Bonfante et al [11], we define a class of blueprint viruses that duplicate themselves without modifying their own programs. The virus copy is injected inside a register.…”

Section: Computer Viruses (A) Blueprint Virusesmentioning

confidence: 99%

From Turing machines to computer viruses

Marion

2012

Phil. Trans. R. Soc. A.

View full text Add to dashboard Cite

show abstract

“…-Adleman's definition as well as Zuo and Zhou's one relies on recursive functions [2,3] (we consider here the formalism adopted in [4] for the purpose of homogeneity with the next definition). …”

Section: Definition 1 (Viral Set) For All Turing Machines M and All Nmentioning

confidence: 99%

“…The reader will note that this definition is not constructive, as opposed to the next one. -Bonfante, Kaczmarek and Marion [5,4] describe viruses as fixed points of a semi-computable function. They first consider the following definition:…”

Section: The Second Item Corresponds To the Case Of Infection (Any Prmentioning

confidence: 99%

“…Up to now, viral classification has been established by considering mathematical tools (Turing Machine [1], recursive functions [2,3], or fixed points of a semi-computable function [4,9]; see Section 2.1). Classifications based on complexity, rather than on mathematical properties, could produce a better perception of the viral risk and hence new models for antiviral research.…”

Section: Complexity Theoretic Problemsmentioning

confidence: 99%

See 1 more Smart Citation

Open Problems in Computer Virology

Filiol¹,

Helenius

Zanero

2006

J Comput Virol

View full text Add to dashboard Cite

show abstract

A Classification of Viruses Through Recursion Theorems

Bonfante

Kaczmarek

Marion

2007

Lecture Notes in Computer Science

View full text Add to dashboard Cite

We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose definitions are based on Kleene's second recursion theorem. We introduce a notion of delayed recursion that we apply to both Kleene's second recursion theorem and Smullyan's double recursion theorem. This leads us to define four classes of viruses, two of them being polymorphic. Then, we work on a simple imperative programming language in order to show how those theoretical constructions can be implemented. In particular, we propose a general virus builder, and distribution engines. Topics covered. Computability theoretic aspects of programs, computer virology.

show abstract

On Abstract Computer Virology from a Recursion Theoretic Perspective

Cited by 30 publications

References 19 publications

From Turing machines to computer viruses

From Turing machines to computer viruses

Open Problems in Computer Virology

A Classification of Viruses Through Recursion Theorems

Contact Info

Product

Resources

About