The trusted execution module: commodity general-purpose trusted computing

Costan, V.;Sarmenta, L.F.G.;van Dijk, M.;Devadas, S.
(2008) Smart Card Research and Advanced Applications. 8th IFIP WG 8.8/11.2 International Conference, CARDIS 2008 — Location: London, UK (8.September.2008)

Files

pdfdocument.pdf
  • Restricted Access
  • Adobe PDF
  • 2.82 MB

Details

Authors
  • Costan, V.
    Author
  • Sarmenta, L.F.G.
    Author
  • van Dijk, M.
    Author
  • Devadas, S.
    Author
Abstract
This paper introduces the trusted execution module (TEM); a high-level specification for a commodity chip that can execute user-supplied procedures in a trusted environment. The TEM is capable of securely executing partially-encrypted procedures/closures expressing arbitrary computation. These closures can be generated by any (potentially untrusted) party who knows the TEM's public encryption key. Compared to a conventional smartcard, which is typically used by pre-programming a limited set of domain- or application- specific commands onto the smartcard, and compared to the trusted platform module (TPM), which is limited to a fixed set of cryptographic functions that cannot be combined to provide general-purpose trusted computing, the TEM is significantly more flexible. Yet we present a working implementation using existing inexpensive Javacard smartcards that does not require any export-restricted technology. The TEM's design enables a new style of programming, which in turn enables new applications. We show that the TEM's guarantees of secure execution enable exciting applications that include, but are not limited to, mobile agents, peer-to- peer multiplayer online games, and anonymous offline payments.
Affiliations

Citations

Costan, V., Sarmenta, L. F. G., van Dijk, M., & Devadas, S. (2008). The trusted execution module: commodity general-purpose trusted computing. In Grimaud, G.; Standaert, F.-X.; (ed.), Smart Card Research and Advanced Applications. 8th IFIP WG 8.8/11.2 International Conference, CARDIS 2008 (p. p. 133-148). Springer-verlag. https://doi.org/10.1007/978-3-540-85893-5_10