Copland

Semantics, languages and tools for layered attestation

Home
Publications
Documentation
Software
Blog

The objective of the Copland project is formally specifing and building tools for remote attestation. The core Copland language definition provides a formally verified definition of attestation protocols. Based on the core language, researchers are developing tools for remote attestation including attestation managers, exchange formats, and attestation service providers.

Recent Activities


Team


Faculty and Senior Researchers

Students

Research Staff

The System-Level Design Group is a part of The Information and Telecommunication Technology Center at The University of Kansas.


Copland is supported by The National Security Agency, DARPA