https://9dok.net/document/q7w407ov-property-based-attestation-for-computing-platforms.html