security-critical
laot-pub
Anonymous
EDS

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