ISCF Digital Security by Design: Collaboration Development Workshop
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