Property Based Attestation and Trusted Computing: Analysis and Challenges | IEEE Conference Publication | IEEE Xplore