Archival Software Releases

• Copland Core Definition, version 0.0 - Documentation - Core definition of the Copland abstract syntax and semantics. This reflects the semantics of Copland in the "Orchestrating Layered Attestations" paper.
• CakeML Attestation Manager, version 0.1 - Documentation - A verified Copland-based attestation manager developed in CakeML for execution on the sel4 verified microkernel. _Note that this attestation manager is depricated and is no longer being maintained._
• Haskell Attestation Manager, version 0.1 - Documentation - A Copland-based attestation manager developed in Haskell. _Note that this attestation manager is depricated and is no longer being maintained._

Visit Copland on github