A New Efficient Property-Based Attestation Protocol Based on Elliptic Curves | IEEE Conference Publication | IEEE Xplore