Skip to content

kaist-cp/hafnium-verification

 
 

Hafnium Verification

Welcome to the Hafnium verification project. Hafnium is an open source project to build a secure hypervisor that allows system designers to achieve confidentiality and integrity of sensitive data with fine-grained security domains. One of the top priorities of Project Oak is to provide higher assurance of Hafnium's security using formal verification.

There are currently two projects going on in this repo.

Prerequisite

Disclaimer

This is not an officially supported Google product.

About

No description, website, or topics provided.

Resources

License

Apache-2.0, Apache-2.0 licenses found

Licenses found

Apache-2.0
LICENSE
Apache-2.0
Hafnium-LICENSE

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C 34.3%
  • Coq 31.7%
  • Rust 23.7%
  • C++ 3.4%
  • Python 3.2%
  • Assembly 2.2%
  • Other 1.5%