Remote attestation to dynamic system properties: Towards providing complete system integrity evidence | IEEE Conference Publication | IEEE Xplore