Program-flow attestation of IoT systems software
A security framework for the analysis and design of software attestation