Faculty Involved: Stephen R. Tate
As trusted computing technology, and trusted platform modules (TPMs) in particular, become widespread, it is important to build a strong foundation for applications built on this new technology. This project is a structured effort to develop a model for trusted platform applications, using a layered approach that supports rigorous analysis and security proofs, and provides a basis for modular software design that directly maps to the analytic model.