"Using Mathematics to Hunt for Computer Errors"

Researchers are using mathematical analytic methods to improve hardware and software security.

http://scilog.fwf.ac.at/en/environment-and-technology/5402/using-mathematics-to-hunt-for-computer-errors