« All Events

  • This event has passed.

UK Cyber Security Research Conference 2014

October 10, 2014

The two cyber security Research Institutes organised their first joint annual highlights conference, at the Department for Business, Innovation & Skills (BIS) on 10th October 2014. The purpose of the conference was to present this leading edge initiative and its outcomes to decision-makers from academia, government and industry.

The Research Institute in Science of Cyber Security (RISCS) focuses on understanding the overall security of organisations, including their constituent technology, people and processes. The Research Institute in Automated Program Analysis and Verification seeks guarantees of correctness, safety and security in computer software. The institutes are sponsored from the National Cyber Security Programme.

Both Research Institutes bring together leading researchers in their respective fields, and feature vibrant collaborations between researchers and practitioners. The research goals are driven by real-world problems, and the outcomes are designed to improve cyber security in industry, government, and society. This conference showcased both research highlights and areas for potential impact.

The presentation slides can be seen here:


Trustworthy Software Systems – Professor Greg Morrisett, Harvard University

High-Assurance Cyber Military Systems – Professor Kathleen Fisher, Tufts University and DARPA

Lightning Talks

Detecting vulnerabilities in highly concurrent software – Dr Alastair Donaldson, Imperial College London

Systems security and verification – Dr Robert Watson, University of Cambridge

Verification at Microsoft – Dr Nick Benton, Microsoft Research


October 10, 2014


BIS Conference Centre
1 Victoria Street
London, SW1H 0ET United Kingdom
+ Google Map