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:
Keynotes
Trustworthy Software Systems – Professor Greg Morrisett, Harvard University
High-Assurance Cyber Military Systems – Professor Kathleen Fisher, Tufts University and DARPA
Lightning Talks
Systems security and verification – Dr Robert Watson, University of Cambridge
Verification at Microsoft – Dr Nick Benton, Microsoft Research