Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
danluu
Fetched on 2025/01/09 06:52
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
13
Rank
1112719
