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

Share this article


Connect with Innovate UK Business Connect

Join Innovate UK Business Connect's mailing list to receive updates on funding opportunities, events and to access Innovate UK Business Connect's deep expertise. Please check your email to confirm your subscription and select your area(s) of interest.