Software

• Copland JSON Schemas, version 0.1 - Documentation - JSON schemas for Copland datatypes, protocol requests/responses, and related interfaces.
• Rust Attestation Manager Clients (rust-am-clients), version 0.1 - Documentation - 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), version 0.1 - Documentation - 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), version 0.1 - Documentation - Repository for Rust crates and common libraries that support building and running Copland ASPs and AMs (Attestation Managers) in Rust.
• Copland Specification (copland-spec), version 0.1 - Documentation - Specification in Rocq for the Copland DSL for Attestation Protocols and Evidence.
• Copland Virtual Machine (cvm), version 0.1 - Documentation - 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 Collection, version 0.0 - Documentation - A collection of utilities for writing, parsing, and analyzing Copland phrases. See `README.md` in the tarball for more details.
• Maat, version - Documentation - Maat is a centralized software integrity measurement and attestation (M&A) service

Visit Copland on github