Imperial to Host the Second Cyber Security Institute

The UK's second Academic Research Institute has been launched.

The UK's second Academic Research Institute to investigate new ways of automatically analysing computer software to reduce its vulnerability to cyber threats has been launched.⁵

The second Research Institute will carry out world-leading research into techniques for Automated Program Analysis and Verification of computer software. The outputs from the Research Institute will provide businesses, individuals and government with additional confidence that software will behave in a secure fashion when installed on operational networks.

Funded by a £4.5 million grant, the new Research Institute is made up of teams from six Universities. It has been established by GCHQ in partnership with the Engineering and Physical Sciences Research Council (EPSRC) through the Research Councils UK (RCUK) Global Uncertainties Programme and the Department for Business, Innovation and Skills (BIS).

It follows hot on the heels of the first Academic Research Institute, which was established in September 2012.

Both Academic Research Institutes form part of a cross-government commitment to increase the nation's academic capability in all fields of Cyber Security.

This allows leading UK academics in the field of Cyber Security to connect with industry security experts and international researchers to tackle some of the UK's toughest challenges in Cyber Security. This collaborative approach between academia, industry and government will ensure that research is relevant and inspired by real world, cutting edge, security issues.

David Willetts, Minister for Universities and Science, said: "This institute will build on the UK's global reputation for cyber security research and innovation. It complements wider work government is doing in partnership with academia and industry to boost the economy through improved cyber security. This includes the Cyber Growth Partnership which met for the first time this week."

Universities in the second Research Institute were selected following a tough competitive process, in which they had to devise new research projects to address three key challenge areas in computer security:

• Vulnerability discovery.
• Malware analysis and classification of code.
• Improved defences and mitigations.

To address these very tough problems requires world-leading researchers in fields such as mathematical logic, programming languages and program analysis. Six teams were successful:

• Queen Mary, University of London, working with University of Kent and University College London
• University of Edinburgh
• Imperial College London
• University College London
• University of Kent working with University College London
• The University of Manchester

Imperial College London was selected to host the Research Institute, with Professor Philippa Gardner taking the role of Director of Research. She said: "The creation of this Research Institute recognises the excellence of UK research in automated program analysis and verification. It provides an exciting opportunity to focus this research on cyber security."

David Delpy, EPSRC's Chief Executive, said: "We rely on the structures of the online world as much as we depend on physical infrastructure and utilities. Academic research that both evaluates threats and devises appropriate defences and safeguards is vital to our national and personal security. Fundamental and applied science and engineering have important roles to play here."

The Research Institute aims to open for business on 1st April 2013 for a period of 3 years.