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
ACM
Pages 37-44
2019
Topic(s): os verification
Note(s): Rust language