Continue
By using our website you accept our cookies policy.Find out more

ISCF Digital Security by Design: Collaboration Development Workshop

Posted on 29/11/2019

Presentations and videos from the Digital Security by Design: Collaboration Development Workshop, 22 Nov, are now available.

 

Digital Security by Design (DSbD) is being delivered by UK Research and Innovation (UKRI) through the Industrial Strategy Challenge Fund (ISCF).

 

Following the Collaborators’ Workshop held on 26th September 2019, a follow-up Collaboration Development Workshop was held on 22nd of November 2019 to facilitate academia-industry and academia-academia collaboration ahead of the closing dates for the EPSRC and ESRC ISCF Digital Security by Design calls.

 

John Goodacre, interim challenge director at Innovate UK, commented “It was an excellent workshop supporting high levels of networking. We hope that the conversations will lead to a range of quality submissions and look forward to creating the portfolio of DSbD research projects, via our partners at ESRC and EPSRC, in due course. My advice is that applicants should make it clear how their proposals relate to the Digital Security by Design Industrial Challenge and which of the three objectives (for the EPSRC call) they are addressing. In particular, they must be clear how their proposals relate to a capability hardware enabled processor.”

 

EPSRC call “ISCF Digital Security by Design Research Projects”

The call closes on 7th January 2020.

 

ESRC call “ISCF Digital Security By Design Social Science Hub+”

The deadline for outline proposals is 12 December 2019.

 

Please find below the Presentations Slides and Videos, in order of the agenda.

 

Information on current EPSRC & ESRC Calls – Marianne Rolph, EPSRC & Charlotte Ashbrooke, ESRC – Slides | Video

CHERI : Capability Hardware Enhanced RISC Instructions Architecture and Software Model – Robert Watson, University of Cambridge – Slides | Video

CHERI-RISC-V – Simon Moore, University of Cambridge – Slides | Video

Formal modelling and reasoning for CHERI : artifacts, results, open problems – Peter Sewell, University of Cambridge – Slides | Video

Controlling Data in Distributed Systems – Alastair Reid & Sarah de Haas, Google (Pending Presentation) – Slides | Video

Security and Legacy at Microsoft – Matthew Parkinson, Microsoft – Slides | Video

 

Lightning talks: a series short pitches from potential collaborators

 

Programmable Network Security Management – Angelos Marnerides, Lancaster University & Dimitrios Pezaros, University of Glasgow – Slides

The Granule Language: Verifying data-flow and information-flow properties for all – Dominic Orchard, University of Kent – Slides

The Janet Network: Utilising the National Research and Education Network – James Earl-Fraser, Jisc – Slides

Robustness by Design – Sophia Drossopoulou, Imperial College London – Slides

Programming Language Runtimes are the Elephant in the Room – Jeremy Singer, University of Glasgow – Slides

Open Source Compiler Toolchains and Software Security – William Jones, Embecosm – Slides

Micro-architecture simulation for verified security and performance – Vashti Galpin, University of Edinburgh – Slides

Building a Capability-Based OS for IoT Devices – Glenford Mapp, Middlesex University London – Slides