It's a hot area of research, and there are more than these two hardware approaches. Fil-C has some of the same aims as CHERI.

Python might be the default for most AI and machine learning development, but what about other popular languages? Here’s what ...

TrustInSoft has expanded its formal verification technology to support the Rust programming language and real-time systems.