A remote attestation infrastructure for verifying the application of software updates | IEEE Conference Publication | IEEE Xplore