Video where this was introduced, which has more details: https://vimeo.com/376180843
Slides: https://www.slideshare.net/KTNUK/digital-security-by-design-...
The slides don't really add much detail. They're just a light introduction to the sort of region-based memory management that was already being used by Cyclone, well before the Rust project was even a thing.
The video explains more:
- Need to keep old insecure code around, too much money to rewrite the world from scratch in Rust, C#, or whatever safe language makes your day
- They are just starting the project, so far only interpreter and runtime model
- It is based on CHERI CPU research (https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/), which has memory tagging
- They are planning to open source the existing work in a couple of months
- Looking for collaboration