Automatically Finding Security Vulnerabilities

Recently classes of vulnerability have emerged that related to the finite nature of computer arithmetic. Down some path of a program, an integer calculation may wrap around and thereby put the program into an unintended, and possibly dangerous, state. The PhD studentship will develop test-data generation techniques for locating vulnerabilities that arise in this way.