Pinned Repositories
go-nitro-enclave-attestation-document
Golang module for decoding and verifying AWS Nitro enclave attestation documents
icecap
Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap
nitro-enclave-attestation-document
Handler for AWS Nitro Enclave Attestation Documents
rust-optee-trustzone-sdk
Fork of https://github.com/mesalock-linux/rust-optee-trustzone-sdk for the Veracruz project.
rust-protobuf
Fork of https://github.com/mesalock-linux/rust-protobuf-sgx for the Veracruz project.
supervisionary
The Supervisionary proof-checking kernel for higher-order logic
veracruz
Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
veracruz-docker-image
Development Docker image for the Veracruz privacy-preserving compute project. Veracruz is an adopted project of the Confidential Compute Consortium (CCC).
veracruz-examples
A repository of larger example Veracruz computations
wasmtime
Fork of https://github.com/bytecodealliance/wasmtime for the Veracruz project.
veracruz-project's Repositories
veracruz-project/veracruz
Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
veracruz-project/icecap
Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap
veracruz-project/veracruz-docker-image
Development Docker image for the Veracruz privacy-preserving compute project. Veracruz is an adopted project of the Confidential Compute Consortium (CCC).
veracruz-project/nitro-enclave-attestation-document
Handler for AWS Nitro Enclave Attestation Documents
veracruz-project/go-nitro-enclave-attestation-document
Golang module for decoding and verifying AWS Nitro enclave attestation documents
veracruz-project/veracruz-examples
A repository of larger example Veracruz computations
veracruz-project/darknet-inference-nm
Darknet inference native module for Veracruz
veracruz-project/proxy-attestation-client
Client for the proxy attestation server
veracruz-project/proxy_attestation_server
An attestation verifier for Veracruz utilizing components from the Veraison project
veracruz-project/rust
Fork of https://github.com/mesalock-linux/rust.git for the Veracruz project.
veracruz-project/rust-psa-crypto
Rust wrapper around the PSA Cryptography API
veracruz-project/tflite-nm
TensorFlow Lite native module for Veracruz
veracruz-project/video-object-detection
Video object detection example for Veracruz
veracruz-project/dpu
veracruz-project/native-module-sandboxer
Manager for Veracruz native modules
veracruz-project/cca-utils-rs
Utilities for Arm CCA in Rust
veracruz-project/cheri_rlbox
veracruz-project/cheri_rlbox_base
veracruz-project/coconut-build
Build environment for development of the Coconut-svsm project components
veracruz-project/darknet
veracruz-project/mbedtls
An open source, portable, easy to use, readable and flexible SSL library
veracruz-project/nitro-enclave
Nitro Enclave management crate
veracruz-project/RealmOS-documentation
veracruz-project/rust-mbedtls
veracruz-project/sandboxed-api
Generate sandboxes for C/C++ libraries automatically
veracruz-project/snpreport
veracruz-project/veracruz-project.github.io
The Veracruz project homepage. Veracruz is an adopted project of the Confidential Compute Consortium (CCC).
veracruz-project/veraison-services
Attestation verification services based on Veraison components
veracruz-project/wasm-rpc
veracruz-project/wasmi
Fork of https://github.com/paritytech/wasmi for the Veracruz project.