Library Compartmentalization using CHERI

At the CHERITech ‘24 workshop that was held at Cambridge University last week Robert Watson demostrated something rather exciting, Morello running full stack, pure capibility software. In addition, to having both spacial and temporal memory safety (i.e., complete memory safety) he also demostrated it having library compartmentialization with fast domain switching:

The Morello full stack demo begins around the 13 minute mark.

David Chisnall (formerly with Microsoft Research and now with the startup SCI Semiconductor) also gave a talk that describes why library compartmentialization is important for protecting supply chains:




Enjoy Reading This Article?

Here are some more articles you might like to read next:

  • Public Key Cryptography - RSA Encryption Algorithm
  • a post with pseudo code
  • a post with code diff
  • a post with advanced image components
  • a post with vega lite