A few related work on OS verification

[jeehoonkang]

[to be updated]

• RedLeaf: https://www.ics.uci.edu/~aburtsev/doc/redleaf-hotos19.pdf
• https://link.springer.com/article/10.1007/s13389-019-00216-4

[jeehoonkang]

compositional verification of information flow control: http://covern.org/papers/EuroSP18.pdf