Skip to Main content Skip to Navigation
Journal articles

From Turing machines to computer viruses

Jean-Yves Marion 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : 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.
Complete list of metadatas

https://hal.inria.fr/hal-00762923
Contributor : Jean-Yves Marion <>
Submitted on : Sunday, December 9, 2012 - 12:35:56 PM
Last modification on : Tuesday, December 18, 2018 - 4:48:02 PM

Links full text

Identifiers

Collections

Citation

Jean-Yves Marion. From Turing machines to computer viruses. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2012, 370 (1971), pp.3319-3339. ⟨10.1098/rsta.2011.0332⟩. ⟨hal-00762923⟩

Share

Metrics

Record views

277