Tech Reports

ULCS-05-005

ASM-based modelling of self-replicating programs

Matt Webster


Abstract

Self-replicating programs are a class of algorithms it seems has not yet In this paper an attempt at modelling the sub-class of computer viruses is shown. Implicit in modelling a computer virus is modelling the environment it needs to survive, and this also is detailed. Finally, an account of the Machine Language from Microsoft Research, is given.

[Full Paper]