Trusted Computing @ MIT

Overview

This is the home page for the research project on Trusted Computing at MIT CSAIL. In this project, we are studying various aspects of Trusted Computing, including the design, implementation, and applications of Trusted Computing systems. Our work includes proposing new applications as well as recommendations for the Trusted Platform Module (TPM) chip from the Trusted Computing Group (TCG). However, we do not see the general idea of Trusted Computing to be limited to systems using the TPM, and are also studying applications and implementations of Trusted Computing in other contexts and using other hardware components such as smart cards.

Publications

• Conference/Workshop papers
  • V. Costan, L.F.G. Sarmenta, M. van Dijk, and S. Devadas. The Trusted Execution Module: Commodity General-Purpose Trusted Computing. CARDIS 2008, London, UK, September 2008.
  • L.F.G. Sarmenta, M. van Dijk, J. Rhodes and S. Devadas, Offline Count-Limited Certificates, ACM Symposium on Applied Computing (SAC 2008) Security Track, Fortaleza, Brazil, March 2008.
  • M. van Dijk, J. Rhodes, L.F.G. Sarmenta, and S. Devadas, Offline Untrusted Storage with Immediate Detection of Forking and Replay Attacks, The 2nd ACM Workshop on Scalable Trusted Computing (ACM STC'07).  Held at CCS '07, Alexandria, VA, Nov. 2007.
  • L.F.G. Sarmenta, M. van Dijk, C.W. O'Donnell, J. Rhodes and S. Devadas. Virtual Monotonic Counters and Count-limited Objects using a TPM without a Trusted OS. 1st ACM Workshop on Scalable Trusted Computing (ACM STC '06). Held at CCS '06, Fairfax, VA, Nov. 2006
• Technical Reports and Memos
  • M. van Dijk, L.F.G. Sarmenta, J. Rhodes, and S. Devadas. Securing Shared Untrusted Storage by using TPM 1.2 Without Requiring a Trusted OS. MIT CSG Memo 498. May 2007.
  • L.F.G. Sarmenta, M. van Dijk, C.W. O'Donnell, J. Rhodes and S. Devadas. Virtual Monotonic Counters and Count-limited Objects using a TPM without a Trusted OS. (Extended Version). MIT CSAIL TR-2006-064. Sept. 2006.
  • M. van Dijk, L.F.G. Sarmenta, C.W. O'Donnell, S. Devadas. Proof of Freshness: How to efficiently use an online single secure clock to secure shared untrusted memory. MIT CSG Memo 496. Sept. 2006.

Presentations

• (ppt) V. Costan, L.F.G. Sarmenta, M. van Dijk, and S. Devadas. The Trusted Execution Module: Commodity General-Purpose Trusted Computing. CARDIS 2008, London, UK, September 2008.
• (ppt) M. van Dijk, J. Rhodes, L.F.G. Sarmenta, and S. Devadas, Offline Untrusted Storage with Immediate Detection of Forking and Replay Attacks, The 2nd ACM Workshop on Scalable Trusted Computing (ACM STC'07).  Held at CCS '07, Alexandria, VA, Nov. 2007.
• (ppt) L. Sarmenta.  Correction to Pseudocode published in "Virtual Monotonic Counters and Count-limited Objects using a TPM without a Trusted OS".  June 26-27, 2007.
  
• (ppt) L. Sarmenta. Virtual Monotonic Counters and Count-limited Objects using a TPM without a Trusted OS. University of Waterloo, Dec. 13, 2006. Host: Anwar Hasan
• (ppt) L. Sarmenta, M. van Dijk, C. O'Donnell, J. Rhodes and S. Devadas. Virtual Monotonic Counters and Count-limited Objects using a TPM without a Trusted OS. 1st ACM Workshop on Scalable Trusted Computing. Held at CCS '06, Fairfax, VA, Nov. 2006.

Software

• TPM/J: Java-based API for TPM (current version: alpha 0.3.0)
  (Improved new release with new command-line tools and support for Mac OS X and Vista, in addition to Linux and Windows XP.)

People

• Victor Costan, M.Eng. student
• Prof. Srini Devadas, Principal Investigator
• Dr. Marten van Dijk, Research Scientist,  (Invited Expert, TCG TPM Working Group)
  
• Dr. Luis Sarmenta, Research Scientist,  (Invited Expert, TCG TPM and Mobile Working Groups)
• Alumni / Former Project Members
• Charles W. O'Donnell, grad student
• Jonathan Rhodes, M.Eng. 2007
  

Related Previous Projects

Acknowledgments