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.
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