vTPM Project

Team:

Kestrel is using Specware, SysML, and PVS to formally model, prove security properties of, and synthesize a C implementation of a virtual Trusted Platform Module (vTPM).