Property-Based Scalable Remote Attestation of Computing Platform | IEEE Conference Publication | IEEE Xplore