vTPM Project

Team:

• Alessandro Coglio (PI)
• Limei Gilham
• Allen Goldberg
• Cordell Green
• Christoph Kreitz
• James McDonald
• Eric Smith
• Stephen Westfold

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).