This EPSRC-funded research project is part of the DSbD ecosystem. We are investigating how programming language virtual machines (VMs) can utilise hardware capabilities, such as those found in CHERI. The project runs from 2020 to 2023, as part of the Digital Security by Design initative.
Our project documentation is openly available. Check out our documentation repository for details.