Verified TPM

Formal Specification of the TPM 1.2

• FM'14 Paper Submitted
• NFM'13 Presentation
• Mvd Presentation