Software

• Copland Core Definition, version 0.0 - Documentation - Core definition of the Copland abstract syntax and semantics.
• 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.
• Exchange Format, version 0.1 - Documentation - JSON exhange format for Copland procols and evidence.
• Maat, version - Documentation - Maat is a centralized software integrity measurement and attestation (M&A) service
• Haskell Attestation Manager, version 0.1 - Documentation - A Copland-based attestation manager developed in Haskell
• CakeML Attestation Manager, version 0.1 - Documentation - A verified Copland-based attestation manager developed in CakeML for execution on the sel4 verified microkernel.
• F# Attestation Manager, version 0.0 - Documentation - A Copland-based attestation manager developed in F# integrated with the Windows .net Trusted Software Stack. _Note that this attestation manager is depricated and is no longer being maintained._

Visit Copland on github