Basically a new language for system software and containers that allow to tame existing software, due to the expenses of rewriting everything into safe languages.
It is based on the CHERI tagged architecture.
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
Just starting now, they have done the ground work, will open source it and are looking for collaborators.
Basically a new language for system software and containers that allow to tame existing software, due to the expenses of rewriting everything into safe languages.
It is based on the CHERI tagged architecture.
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
Just starting now, they have done the ground work, will open source it and are looking for collaborators.