Copland

Semantics, languages and tools for layered attestation

Index
Blog

JSON Exchange Format

A description of the JSON format used to exchange protocols an evidence in KU’s tools has been added to the software page.