Reference implementation, evaluation framework and Tamarin theorems for our TPM 2.0 remote attestation protocol.
Project for mapping from the Sensor Things API to the W3C Web of Things standards