Miralis
RISC-V Virtual Firmware Monitor
CAUTION - Miralis is under heavy development, it is not ready for production use and does not yet achieve all of the features promised on this page.
Firmware-Level Isolation
Miralis enables firmware-level isolation by virtualizing M-mode software on RISC-V platforms to protect an OS from M-mode or to partition a physical machine.
Focus on Security
Miralis is built with security in mind, starting with Rust, but not only. We are currently exploring formal verification methods to prove the corectness of some of Miralis' most critical subsystems.
Open Source and Transparent
Miralis is open-source, enabling transparent operations and verifiable isolation of proprietary firmware and binary blobs.
Publications
Kicking the Firmware Out of the TCB with the Miralis Virtual Firmware Monitor (KISV'24)
Charly Castes, Neelu S. Kalani, Sofia Saltovskaia, Noé Terrier, Abel Vexina Wilkinson, Edouard Bugnion
Charly Castes, Neelu S. Kalani, Sofia Saltovskaia, Noé Terrier, Abel Vexina Wilkinson, Edouard Bugnion