RedLeaf: Towards an operating system for safe and verified firmware

Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamarić, Anton Burtsev
[doi] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the Workshop on Hot Topics in Operating Systems
ACM
Pages 37-44
2019
Topic(s): os verification
Note(s): Rust language