This repository has been archived by the owner on Aug 23, 2022. It is now read-only.

A few related work on OS verification #5

Open

jeehoonkang opened this issue Jul 1, 2019 · 1 comment

Contributor

jeehoonkang commented Jul 1, 2019

[to be updated]

Contributor Author

jeehoonkang commented Jul 5, 2019

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

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.