https://github.com/danluu/secvisor-formal-verification

Formal verification of SecVisor, a secure hypervisor
https://github.com/danluu/secvisor-formal-verification

Last synced: 17 days 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 (about 12 years ago)
• Default Branch: master
• Last Pushed: 2013-04-23T21:31:27.000Z (over 11 years ago)
• Last Synced: 2024-11-06T07:36:57.841Z (2 months ago)
• Language: Common Lisp
• Homepage: http://www.cs.cmu.edu/~arvinds/pubs/secvisor.pdf
• Size: 113 KB
• Stars: 13
• Watchers: 3
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project