article

Free access

Externally verifiable code execution

Authors:

Pradeep KhoslaAuthors Info & Claims

Communications of the ACM, Volume 49, Issue 9

Pages 45 - 49

https://doi.org/10.1145/1151030.1151054

Published: 01 September 2006 Publication History

All formats PDF

Abstract

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

References

[1]

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

Google Scholar

[2]

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

Google Scholar

[3]

Seshadri, A. et al. Pioneer: Verifying integrity and guaranteeing execution of code on legacy platforms. In Proceedings of ACM Symposium on Operating Systems Principles (SOSP), (Oct. 2005), 1--15.

Digital Library

Google Scholar

[4]

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

Google Scholar

[5]

Wang, X., Yin, Y. and Yu, H. Finding collisions in the full SHA-1. In Proceedings of Crypto, (Aug. 2005).

Digital Library

Google Scholar

Cited By

View all

Gong BZhang YWang Y(2018)A remote attestation mechanism for the sensing layer nodes of the Internet of ThingsFuture Generation Computer Systems10.1016/j.future.2017.07.03478:P3(867-886)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.1016/j.future.2017.07.034
do Prado CBoccardo DMachado Rda Costa Carmo Ldo Nascimento TBento LCosta Rde Castro CCâmara SPirmez LOliveira R(2016)Software Analysis and Protection for Smart MeteringNCSLI Measure10.1080/19315775.2014.117216919:3(22-29)Online publication date: 12-May-2016
https://doi.org/10.1080/19315775.2014.11721691
Zheng XSafavi-Naini RAhmadi H(2014)Distance Lower BoundingInformation and Communications Security10.1007/978-3-319-21966-0_7(89-104)Online publication date: 16-Dec-2014
https://dl.acm.org/doi/10.1007/978-3-319-21966-0_7
Show More Cited By

Index Terms

Externally verifiable code execution

Recommendations

Publicly verifiable ciphertexts
Advances in Security for Communication Networks

In many applications where encrypted traffic flows from an open public domain to a protected private domain there exists a gateway that bridges these two worlds, faithfully forwarding all incoming traffic to the receiver. We observe that the notion of ...
Efficient certificate-based verifiable encrypted signature scheme

Certificate-based public key cryptographic is a novel cryptographic primitive solving the heavy management problem in the conventional public key cryptographic. Verifiable encrypted signature is useful for many cryptographic protocols and often is used ...
Generic constructions for verifiable signcryption
ICISC'11: Proceedings of the 14th international conference on Information Security and Cryptology

Signcryption is a primitive which simultaneously performs the functions of both signature and encryption in a way that is more efficient than signing and encrypting separately. We study in this paper constructions of signcryption schemes from basic ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 49, Issue 9

Privacy and security in highly dynamic systems

September 2006

100 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/1151030

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 2006

Published in CACM Volume 49, Issue 9

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

19
Total Citations
View Citations
1,369
Total Downloads

Downloads (Last 12 months)212
Downloads (Last 6 weeks)31

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Gong BZhang YWang Y(2018)A remote attestation mechanism for the sensing layer nodes of the Internet of ThingsFuture Generation Computer Systems10.1016/j.future.2017.07.03478:P3(867-886)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.1016/j.future.2017.07.034
do Prado CBoccardo DMachado Rda Costa Carmo Ldo Nascimento TBento LCosta Rde Castro CCâmara SPirmez LOliveira R(2016)Software Analysis and Protection for Smart MeteringNCSLI Measure10.1080/19315775.2014.117216919:3(22-29)Online publication date: 12-May-2016
https://doi.org/10.1080/19315775.2014.11721691
Zheng XSafavi-Naini RAhmadi H(2014)Distance Lower BoundingInformation and Communications Security10.1007/978-3-319-21966-0_7(89-104)Online publication date: 16-Dec-2014
https://dl.acm.org/doi/10.1007/978-3-319-21966-0_7
de SÁ VBoccardo DRust LMachado R(2012)A tight bound for exhaustive key search attacks against Message Authentication CodesRAIRO - Theoretical Informatics and Applications10.1051/ita/201202547:2(171-180)Online publication date: 6-Nov-2012
https://doi.org/10.1051/ita/2012025
Long D(2012)Study on Grade Division Policy for Trusted NetworkProcedia Environmental Sciences10.1016/j.proenv.2012.01.43612(1367-1371)Online publication date: 2012
https://doi.org/10.1016/j.proenv.2012.01.436
Alexander JDean TKnight SNg JCouturier CLitoiu MStroulia E(2011)Spy vs. SpyProceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research10.5555/2093889.2093891(1-14)Online publication date: 7-Nov-2011
https://dl.acm.org/doi/10.5555/2093889.2093891
Chen TYu H(2011)Bilinear Parings in Property-based attestationJournal of Computers10.4304/jcp.6.2.297-3046:2Online publication date: 1-Feb-2011
https://doi.org/10.4304/jcp.6.2.297-304
Kumar NShah HShyamasundar R(2011)Towards Checking Tampering of SoftwareCyber Security, Cyber Crime and Cyber Forensics10.4018/978-1-60960-123-2.ch014(204-219)Online publication date: 2011
https://doi.org/10.4018/978-1-60960-123-2.ch014
Chen TYu HChen W(2010)A Protocol for Bilinear Parings-Based AttestationProceedings of the 2010 Second International Conference on Networks Security, Wireless Communications and Trusted Computing - Volume 0110.1109/NSWCTC.2010.67(256-260)Online publication date: 24-Apr-2010
https://dl.acm.org/doi/10.1109/NSWCTC.2010.67
Ting Chen Huiqun Yu (2010)The improved research on property-based remote attestation2010 International Conference on Computer Application and System Modeling (ICCASM 2010)10.1109/ICCASM.2010.5622287(V14-320-V14-324)Online publication date: 2010
https://doi.org/10.1109/ICCASM.2010.5622287
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Publicly verifiable ciphertexts

Efficient certificate-based verifiable encrypted signature scheme

Generic constructions for verifiable signcryption

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Magazine Site

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations