ASSURED Layered Attestation and Runtime Verification Enablers Design & Implementation - version 2

Summary
This deliverable is a prototype implementation of the attestation services and the verification models