Copland

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

• Tampering Paper - 29 Feb 2024
• Copland Collection Updated - 22 Dec 2023
• CHASE Tutorial Updated - 22 Dec 2023
• Maat Released - 31 Dec 2022
• CHASE Tutorial Added - 28 Dec 2022
• Flexible Mechanisms Paper Published - 04 Sep 2021
• Automated Trust Analysis Paper Accepted - 31 Aug 2021
• MEMOCODE Paper Accepted - 30 Aug 2021
• NFM '21 (Virtual) Conference Presentation - 28 May 2021
• Copland Collection Released - 20 May 2021

The Copland Team

Faculty and Senior Researchers

• Perry Alexander
• John Ramsdell
• Paul Rowe
• Sarah Helble
• Aaron Pendergrass
• Peter Loscocco
• Adam Petz

Students

• Tj Barclay
• Michael Neises

Research Staff

• Edward Komp

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 Science of Security Lablet Program, DARPA Cyber-Aware Systems Engineering, Kansas City National Security Campus, Air Force Research Laboratory, and Ripple University Blockchain Research Initiative