Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
danluu
Fetched on 2024/04/30 22:02
danluu
/
secvisor-formal-verification
Formal verification of SecVisor, a secure hypervisor -
View it on GitHub
http://www.cs.cmu.edu/~arvinds/pubs/secvisor.pdf
Star
12
Rank
1142956
