Capable VMs Website


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.


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.


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