Two systems for automatic software diversification

This paper investigates the use of redundancy and artificial diversity in information security. We discuss two fundamentally different approaches to creating diversity: syntax-based software mutation, and alternate representations of the program's semantics obtained by abstract interpretation. We describe two prototype systems, one implementing each approach, and we discuss the practical strengths and weaknesses of each approach.