Automated Program Diversity Using Program Synthesis

Software monocultures are susceptible to large scale security attacks as attacks on a single node can be effortlessly scaled out to the rest of the system. Program diversity has been explored as a means of defending systems from mass scale security attacks and system failures. Existing diversity techniques have focused on reordering code blocks to alter the control flow graph. In contrast, we focus on algorithmic diversity. We present an algorithmic diversity approach that is fully automated end to end by adopting techniques in program synthesis. We demonstrate how our approach can be deployed as a defence against code reuse attacks and against common software faults.