Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
danluu
Fetched on 2026/07/13 14:24
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
14
Rank
1285946
