RedLeaf: Towards An Operating System for Safe and Verified Firmware.

Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev

Browse the full HotOS paper archive.