Research

Security research

Alongside client work, we study how software faults arise and how to confirm that a fix really holds. The aim is practical: fewer repeat incidents and repairs that can be checked.

HOW FAULTS ARISE

We look at where programs mishandle incoming data, because that is where many serious faults begin.

CHECKING THE FIX

A repair counts only when the input that caused the fault no longer causes it and normal work runs as before.

YOUR SYSTEMS

General research does not replace a review of your own systems. If you need one, write to us and we will agree the scope first.

Contact