91ÌÒÉ«

The UK's second Academic 91ÌÒÉ« Institute has been launched.

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

The second 91ÌÒÉ« Institute will carry out world-leading research into techniques for Automated Program Analysis and Verification of computer software. The outputs from the 91ÌÒÉ« 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 91ÌÒÉ« Institute is made up of teams from six Universities. It has been established by GCHQ in partnership with the Engineering and Physical Sciences 91ÌÒÉ« Council (EPSRC) through the 91ÌÒÉ« 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 91ÌÒÉ« Institute, which was established in September 2012.

Both Academic 91ÌÒÉ« 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 91ÌÒÉ« 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
• 91ÌÒÉ«
• University College London
• University of Kent working with University College London
• The University of Manchester

91ÌÒÉ« was selected to host the 91ÌÒÉ« Institute, with Professor Philippa Gardner taking the role of Director of 91ÌÒÉ«. She said: "The creation of this 91ÌÒÉ« 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 91ÌÒÉ« Institute aims to open for business on 1st April 2013 for a period of 3 years.