Towards Systematic Design of Collective Remote Attestation Protocols | IEEE Conference Publication | IEEE Xplore