Reactive defense mechanisms, such as intrusion detection systems, have made significant
efforts to secure a system or network for the last several decades. However, the nature of …

Machine learning has evolved into an enabling technology for a wide range of highly
successful applications. The potential for this success to continue and accelerate has placed …

Detecting periodicity in large scale data remains a challenge. While efforts have been made
to identify best of breed algorithms, relatively little research has gone into integrating these …

Automated program repair has shown promise for reducing the significant manual effort
debugging requires. This paper addresses a deficit of earlier evaluations of automated …

The idea of automatic software diversity is at least two decades old. The deficiencies of
currently deployed defenses and the transition to online software distribution (the" App store" …

This paper describes a new replication algorithm that is able to tolerate Byzantine faults. We
believe that Byzantinefault-tolerant algorithms will be increasingly important in the future …

Genetic improvement (GI) uses automated search to find improved versions of existing
software. We present a comprehensive survey of this nascent field of research with a focus …

Our growing reliance on online services accessible on the Internet demands highly
available systems that provide correct service without interruptions. Software bugs, operator …

The Internet has become essential to all aspects of modern life, and thus the consequences
of network disruption have become increasingly severe. It is widely recognised that the …

We use a simple modification to a conventional SLR camera to capture images of several
hundred scenes in colour (RGB) and near-infrared (NIR). We show that the addition of near …