Verified TPM

Formal Specification of the TPM 1.2


NFM'13 Presentation

Brigid Halling presented our Privacy CA Prototol verification work at the NASA Formal Methods Symposium 20 May 2013 in Mountain View, CA. This was the first major publication from the Verified TPM work. Overall the paper was quite well received. You can find a pre-publication version on our publications page.