An Efficient Property-Based Attestation Scheme with Flexible Revocation Mechanisms | IEEE Conference Publication | IEEE Xplore