CapableVMs

Capable VMs Website


CapableVMs

This EPSRC-funded research project will investigate 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.

Partners

The CapableVMs project is co-hosted at King’s College London and University of Glasgow. For more information, please contact Laurie Tratt or Jeremy Singer.

Documentation

Our project documentation is openly available. Check out our documentation repository for details.