Externally verifiable code execution-Reference-Cited by-同舟云学术

Externally verifiable code execution

Published:2006-09 Issue:9 Volume:49 Page:45-49
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Seshadri Arvind¹,Luk Mark¹,Perrig Adrian¹,Doorn Leendert van²,Khosla Pradeep¹

Affiliation:

1. Carnegie Mellon University in Pittsburgh, PA

2. IBM T.J. Watson Research Center in Yorktown Heights, NY

Abstract

Using hardware- and software-based techniques to realize a primitive for externally verifiable code execution.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/1151030.1151054

Reference5 articles.

1. AMD Corp. AMD64 Architecture Programmer's Reference Manual (Dec. 2005). AMD Corp. AMD64 Architecture Programmer's Reference Manual (Dec. 2005).

2. Intel Corp. LaGrande Technology Architectural Overview. (Sept. 2003). Intel Corp. LaGrande Technology Architectural Overview. (Sept. 2003).

3. 20th ACM Symposium on Operating Systems Principles

4. Trusted Computing Group (TCG). TCG TPM Specification Version 1.2 (Mar. 2006). Trusted Computing Group (TCG). TCG TPM Specification Version 1.2 (Mar. 2006).

5. Finding Collisions in the Full SHA-1

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A trusted attestation mechanism for the sensing nodes of Internet of Things based on dynamic trusted measurement;China Communications;2018-02

2. A remote attestation mechanism for the sensing layer nodes of the Internet of Things;Future Generation Computer Systems;2018-01

3. Distance Lower Bounding;Information and Communications Security;2015

4. Software Analysis and Protection for Smart Metering;NCSLI Measure;2014-09

5. A tight bound for exhaustive key search attacks against Message Authentication Codes;RAIRO - Theoretical Informatics and Applications;2012-11-06