Tech Reports


ASM-based modelling of self-replicating programs

Matt Webster


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]