Semantics, languages and tools for layered attestation
A description of the JSON format used to exchange protocols an evidence in KU’s tools has been added to the software page.