Verified TPM

Formal Specification of the TPM 1.2


Mvd Presentation

Brigid Halling presented initial results from our verification work at Midwestern Verification Day in Lawrence. First presentation on this work went quite well. MVD has no proceedings, so please check out one of our other papers on this topic for details.