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.
Document type :
Journal articles
Complete list of metadata
Contributor : Jean-Yves Marion Connect in order to contact the contributor
Submitted on : Sunday, December 9, 2012 - 12:35:56 PM
Last modification on : Saturday, October 16, 2021 - 11:26:05 AM

Links full text




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⟩



Record views