Semantics, languages and tools for layered attestation
Our Haskell Attestation Manager is available. The Haskell Attestation Manger is a direct implementation of a Copland interpreter using monad transformers. The Haskell AM is used primarily for prototyping, but can be used for delivered systems.