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

Copland Collection Released

Our MITRE colleagues have released The Copland Collection, a collection of tools for processing and analyzing Copland protocol specifications. The Copland Collection includes application of the CHASE model finder to explore interleaving of corruption and measurements to better understand protocol effectiveness. Download the Copland Collection here.