Copland

Semantics, languages and tools for layered attestation

• Flexible Mechanisms Paper Published
• Automated Trust Analysis Paper Accepted
• MEMOCODE Paper Accepted
• NFM '21 (Virtual) Conference Presentation
• Copland Collection Released
• NFM Paper Accepted
• Haskell Attestation Manager Release
• CakeML Attestation Manager Release
• Tutorial Update
• Copland Tutorial Added