Verified TPM

Formal Specification of the TPM 1.2

Home
Publications
Documentation
Software
Blog

Software

Visit Verified TPM on github