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
Home
Publications
Documentation
Software
Blog
Documentation
Copland Tutorial
Coq Documentation