Verified TPM

Formal Specification of the TPM 1.2

Home
Publications
Documentation
Software
Blog

Publications