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.
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.”
The call closes on 7th January 2020.
The deadline for outline proposals is 12 December 2019.
Please find below the Presentations Slides and Videos, in order of the agenda.
Controlling Data in Distributed Systems – Alastair Reid & Sarah de Haas, Google (Pending Presentation)¬†- 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