Copland

Semantics, languages and tools for layered attestation

Tampering Paper
Copland Collection Updated
CHASE Tutorial Updated
Maat Released
CHASE Tutorial Added
Flexible Mechanisms Paper Published
Automated Trust Analysis Paper Accepted
MEMOCODE Paper Accepted
NFM '21 (Virtual) Conference Presentation
Copland Collection Released

Index
Blog

Haskell AM Initial Release

The first release of our Haskell Attestation Manager is now available on the software page. Clone the release repo and follow the instructions in README.md to build the release.