Summary
Report outlining security proofs for the integrated TPM functionality.
More information & hyperlinks