TyTAN: tiny trust anchor for tiny devices
A security framework for the analysis and design of software attestation