https://www.slideshare.net/KTNUK/digital-security-by-design-...
It seems like they want to do something like Rust, but with a new focus on regionalized memory management.