<?xml version="1.0" encoding="UTF-8"?><ns2:project xmlns:ns1="http://gtr.rcuk.ac.uk/gtr/api" xmlns:ns2="http://gtr.rcuk.ac.uk/gtr/api/project" xmlns:ns3="http://gtr.rcuk.ac.uk/gtr/api/fund" xmlns:ns4="http://gtr.rcuk.ac.uk/gtr/api/person" xmlns:ns5="http://gtr.rcuk.ac.uk/gtr/api/project/outcome" xmlns:ns6="http://gtr.rcuk.ac.uk/gtr/api/organisation" ns1:created="2026-06-03T15:52:43Z" ns1:href="http://gtr.ukri.org/gtr/api/projects/0F51F745-2C91-4FF3-AEE0-A6FC5A4B2E24" ns1:id="0F51F745-2C91-4FF3-AEE0-A6FC5A4B2E24"><ns1:links><ns1:link ns1:href="http://gtr.ukri.org/gtr/api/persons/8EC1A3AB-E3EE-4024-B879-5B375039264C" ns1:rel="PM_PER"/><ns1:link ns1:href="http://gtr.ukri.org/gtr/api/organisations/BA5C6E86-61C3-42E5-8F7A-CDC80006093A" ns1:rel="LEAD_ORG"/><ns1:link ns1:href="http://gtr.ukri.org/gtr/api/organisations/BA5C6E86-61C3-42E5-8F7A-CDC80006093A" ns1:rel="PARTICIPANT_ORG"/><ns1:link ns1:end="2025-01-31T00:00:00Z" ns1:href="http://gtr.ukri.org/gtr/api/funds/F177CA3C-3464-448F-B698-7898E324593D" ns1:rel="FUND" ns1:start="2022-04-30T23:00:00Z"/></ns1:links><ns2:identifiers><ns2:identifier ns2:type="RCUK">10028870</ns2:identifier></ns2:identifiers><ns2:title>CHERI WebAssembly Micro Runtime</ns2:title><ns2:status>Closed</ns2:status><ns2:grantCategory>Collaborative R&amp;D</ns2:grantCategory><ns2:leadFunder>ISCF</ns2:leadFunder><ns2:abstractText>Programmers can already write and compile code, for example in C or Rust, to create .wasm modules usable in any WASI-compliant environment, which has been massively adopted &amp;amp; supported across the conventional systems for its portability and near native performances. The problem is, do we have runtimes in CHERI that can actually execute those wasm modules &amp;quot;outside web browsers&amp;quot;? 

Our proposal is to enrich the DSbD ecosystem by developing capability aware WebAssembly System Interface-compliant WebAssembly (WASM) micro runtime for webassembly (WASM)modules that will be embedded into other compartmentalised application as a library runtime, providing a double sandboxed strategy. WASM modules that use WASI methods to interact with native functions of the host compartments and it's the underlying system resources via permissioned via controlled abstract capabilities model. 

The outcome of the proposal would be an open source

* cWAMR runtime (capability aware WASM Micro Runtime)
* cWASI SDK with cWASI-libc (cWASI SDK will be integrated within the cWAMR runtime)

The above runtimes and SDKs will also be ported into the CHERI stacks (CheriBSD, Android stack, Bare metal and Linux) by default as part of cheribuild script. The developers with morello-boards can access them under respective stacks for development.

As a result, this will enable a spectrum of developers to develop, port and test the CHERI platform with their respective webassembly application modules for their near native performance and the security guarantees of CHERI.</ns2:abstractText></ns2:project>