https://github.com/danluu/secvisor-formal-verification
Formal verification of SecVisor, a secure hypervisor
https://github.com/danluu/secvisor-formal-verification
Last synced: 6 months ago
JSON representation
Formal verification of SecVisor, a secure hypervisor
- Host: GitHub
- URL: https://github.com/danluu/secvisor-formal-verification
- Owner: danluu
- Created: 2012-11-12T20:22:34.000Z (over 13 years ago)
- Default Branch: master
- Last Pushed: 2013-04-23T21:31:27.000Z (about 13 years ago)
- Last Synced: 2025-07-03T22:04:03.881Z (about 1 year ago)
- Language: Common Lisp
- Homepage: http://www.cs.cmu.edu/~arvinds/pubs/secvisor.pdf
- Size: 113 KB
- Stars: 12
- Watchers: 2
- Forks: 1
- Open Issues: 0