Copland
Semantics, languages and tools for layered attestation
New Copland Software Release
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
Home
Publications
Documentation
Software
Blog
Archive
Documentation
Copland Tutorial
Coq Documentation
CHASE Tutorial