Project

High-level language abstraction for remote attestation and how to securely compile it