CapableVMs

Capable VMs Website


CapableVMs

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 2025, as part of the Digital Security by Design initiative.

Partners

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

Projects

  • CHERI examples and playground – repo
  • Boehm-Demers-Weiser garbage collector port for purecap CHERI [WIP] – repo
  • Function splitter - explore compartmentalisation using CHERI sentries [on hold] – repo
  • ELF compartments - library for compartmentalising ELF binaries [WIP] – repo
  • Webkit port for purecap CHERI [WIP] – repo

Academic Publications

Blog posts

Documentation

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