Measuring Semantic Integrity for Remote Attestation. - Fabrizio Baiardi; Diego Cilea; Daniele Sgandurra; Francesco Ceccarelli (TRUST, 2009)