Software

Copland JSON Schemas

Copland JSON Schemas - JSON schemas for Copland datatypes, protocol requests/responses, and related interfaces.

Rust Attestation Manager Clients (rust-am-clients)

Rust Attestation Manager Clients (rust-am-clients) - A repository for (Rust) client interfaces that interact with Copland Attestation Manager (AM) and Attestation Service Provider (ASP) executables. A notable such client is the Rust Rodeo Client (rust-rodeo-client).

Attestation Service Provider Libraries (asp-libs)

Attestation Service Provider Libraries (asp-libs) - Repository for (Rust) implementations of attestation service provider (asp) libraries (libs). ASPs are the primitive units of work in Copland attestation protocols.

Rust Attestation Manager Library (rust-am-lib)

Rust Attestation Manager Library (rust-am-lib) - Repository for Rust crates and common libraries that support building and running Copland ASPs and AMs (Attestation Managers) in Rust.

Copland Virtual Machine (cvm)

Copland Virtual Machine (cvm) - The Copland Virtual Machine (CVM) is a Rocq library that formalizes a virtual machine for the Copland Domain Specific Language for layered remote attestation. The CVM also provides CakeML stubs to support an extraction pipeline to a CakeML executable cvm.

Copland Specification (copland-spec)

Copland Specification (copland-spec) - Specification in Rocq for the Copland DSL for Attestation Protocols and Evidence.