Isolation in Rust: What is Missing?
Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021
RedLeaf: Isolation and Communication in a Safe Operating System.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020