project-oak

Repositories

• oak

  Meaningful control of data in distributed systems.

  distributed-systems policy formal-methods enclave
  Rust Apache-2.0 44 626 174 (2 issues need help) 29 Updated Sep 16, 2020

• oak-hardware

  Formal specification and verification of hardware, especially for security and privacy.

  hardware coq formal-verification
  Coq Apache-2.0 6 28 8 2 Updated Sep 15, 2020

• rust-verification-tools

  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

  rust verification fuzzing klee proptest
  Rust 4 81 21 1 Updated Sep 11, 2020

• hafnium-verification
  OCaml Apache-2.0 15 24 9 0 Updated Jul 27, 2020

• oak-enclave
  Shell Apache-2.0 2 5 1 0 Updated Jun 13, 2019