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