Copland

Semantics, languages and tools for layered attestation

Index
Blog

CakeML Attestation Manager Release

Our reference CakeML Attestation Manager is available. The CakeML Attestation Manger is a relatively small implementation of a Copland interpreter written using the CakeML language. The implementation is actively maintained and used as our primary delivery platform.