Property-Based Remote Attestation Oriented to Cloud Computing.

Siyuan Xin, Yong Zhao, Yu Li

Browse the full CIS paper archive.