DSbD Tech

DSbD Ecosystem Projects

Digital Security by Design Hub

The DiScriBe Hub+ 

 

Consortium led by Professor Adam Joinson, in the University’s School of Management, the DiScriBe Hub+ aims to reshape the ways in which social sciences and STEM disciplines work together to address the challenges of digital security by design in the 21st Century.

 

This social science-led digital security research programme will have the ownership of the DSbD Ecosystem and drive the development of DSbD technology, incorporating a digital futures narrative.

Technology Enabling Projects

Technology Platform Prototype

The ISCF Digital Security by Design Programme has funded software design company Arm to develop a technology platform prototype which is more resistant to cyber-threats – making it harder to attack technology infrastructure and remotely take control. The project also involves open-source software specialists Linaro and the universities of Cambridge and Edinburgh

Business Led Demonstrator 

The Soteria Project

Consortium led by global technology platform company, THG Holdings plc (THG), working with The University of Manchester and the University of Oxford.

Collaborative R&D User Projects

UK Engineering and Physical Sciences Research Council (EPSRC) Funded Projects

Winning applications were derived from Research Organisations across the UK.

 

CapableVMs– Dr Laurie Tratt of Kings College London and Dr Jeremy Singer of The University of Glasgow are leveraging the DSbD technologies to question critical performance and they aim to improve the security of high-performance programming language VMs using CHERI hardware enforced capabilities. 

 

CloudCAP– led by Prof Peter Pietzuchof Imperial College London will explore solutions across trusted execution environments. The project will focus to develop capability-based cloud compartments, a new abstraction that can express policies about the confidentiality and integrity of data, both within, and across, the components of a cloud stack and cloud native applications. 

 

CAP-TEEDr David Oswald from the University of Birmingham will focus on protecting safety and security-critical systems with capability architectures and trusted execution. 

 

CAPcelerate – will utilise the DSbD technology to build capability systems for the future. Led by Dr Tim Jones of the University of Cambridge, the project seeks to investigate how capability protection can be applied to systems containing heterogeneous accelerators for applications such as graphics, AI, cryptography and networking. 

 

HD-Sec Prof Michael Butler of University of Southampton is addressing engineering challenges in establishing and formally verifying the relationship between application-level security requirements and secure software implementations running on capability hardware. 

 

CHaOS– Dr Robert Watson of the University of Cambridge is developing new hypervisor and operating-system software compartmentalisation models able to use the CHERI / Morello architectural primitives to significantly improve compartmentalisation scalability. 

 

SCorCHwill explore the verification of C programmes and apply this to DSbD capabilities. Dr Giles Reger of Manchester University, together with Prof Tom Melham of The  University of Oxford propose a new software verification toolchain for capabilities based on state-of-the-art static and dynamic software verification and theorem proving techniques, to verify the Morello platform is being used correctly.

 

CapCThe CapC team led by Dr Mark Batty of The University of Kent have shared their vision to use tools to probe the CHERI architecture and propose to develop a new semantic definition of C that provides safety by default, enabling it to be compatible with the DSBD hardware and hence maximising security capabilities. 

SME Software Development Ecosystem Projects

 

ANZEN Technology Systems Limited, London

A feasibility study of a data security software product adopting Digital Security by Design (DSbD) technology.

 

Verifoxx, London

A research project on a TEE-aware compartmentalisation framework, to elevate their products security while mitigating vulnerabilities posed by existing solutions on the market.

 

Pytilia Limited – Belfast, Northern Ireland

A data path development kit utilising DSbD technology.

 

OXON.Tech Ltd, Oxfordshire

Porting edge AI workflows to CHERI/Morello

 

DRISQ Limited, Worcestershire

CHERI standards compliance (CHERI Stone)

 

IOETEC Limited, Sheffield

Multi-compartment computation protocol based on DSbD technology.

 

Metrarc Limited, Colchester and Canterbury

Trusted ring security for Morello Devices

 

MindHug LTD, Stowmarket, Suffolk

Multi-compartment computation protocol based on DSbD technology.

 

Capabilities Limited, Carmarthenshire, Wales

Assessing the viability of an open source DSbD desktop software ecosystem.

 

Valid Datum Limited, London

Quantum-resistant DSbD security leveraging Micro Tokenisation