A security critical system has formal requirements on information access, sharing and leakage.

The seL4 kernel has formally proven security properties, along with isolation and time.

1. Security in RISC V