B. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. Murphy VII, and F. Pfenning. Trustless grid computing in conCert. In M. Parashar, editor, Grid Computing -- Grid 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Scooped, Again - Ledlie, Shneidman, Seltzer, Huth (2003) (2 citations) (Correct)
.... of service attacks) and authorization issues (such as access control) but research from p2p would help address some DoS problems introduced by the Grid s frequent reliance on centralized structures [1, 9] Chang et al. examine enforcing safety with certifying compilers in a Grid environment [10]. These aspects have been identified and explored in the context of data sharing p2p systems [16] Computational p2p systems have similar problems: more than fifty percent of the Seti Home s project resources were at one time spent dealing with security problems, including the problem of ....
Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, and Frank Pfenning. Trustless Grid Computing in ConCert. In Grid Computing - GRID 2002.
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy Self-citation (Crary Harper Vii Pfenning) (Correct)
No context found.
B. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. Murphy VII, and F. Pfenning. Trustless grid computing in conCert. In M. Parashar, editor, Grid Computing -- Grid 2002.
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy (2005) Self-citation (Crary Harper Vii Pfenning) (Correct)
No context found.
B. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. Murphy VII, and F. Pfenning. Trustless grid computing in conCert. In M. Parashar, editor, Grid Computing -- Grid 2002.
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy Self-citation (Crary Harper Vii Pfenning) (Correct)
No context found.
B. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. Murphy VII, and F. Pfenning. Trustless grid computing in conCert. In M. Parashar, editor, Grid Computing -- Grid 2002.
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy Self-citation (Crary Harper Vii Pfenning) (Correct)
No context found.
B. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. Murphy VII, and F. Pfenning. Trustless grid computing in conCert. In M. Parashar, editor, Grid Computing -- Grid 2002.
Functional Grid Programming with ConCert - VII (2004) Self-citation (Murphy) (Correct)
No context found.
B. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. Murphy, VII, and F. Pfenning. Trustless grid computing in ConCert. In M. Parashar, editor, Grid Computing -- Grid 2002.
A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (3 citations) Self-citation (Crary Harper Vii Pfenning) (Correct)
No context found.
B. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. Murphy VII, and F. Pfenning. Trustless grid computing in conCert. In M. Parashar, editor, Grid Computing -- Grid 2002.
Foundational Certified Code in a Metalogical Framework - Crary, Sarkar (2003) (2 citations) Self-citation (Crary) (Correct)
No context found.
Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, and Frank Pfenning. Trustless grid computing in ConCert. In Third International Workshop on Grid Computing, volume 2536 of Lecture Notes in Computer Science, pages 112-125, Baltimore, Maryland, November 2002.
A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (3 citations) Self-citation (Crary Harper Vii Pfenning) (Correct)
No context found.
B. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. Murphy VII, and F. Pfenning. Trustless grid computing in conCert. In M. Parashar, editor, Grid Computing -- Grid 2002.
A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (3 citations) Self-citation (Crary Harper Vii Pfenning) (Correct)
No context found.
B. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. Murphy VII, and F. Pfenning. Trustless grid computing in conCert. In M. Parashar, editor, Grid Computing -- Grid 2002.
Toward a Foundational Typed Assembly Language - Crary (2002) (18 citations) Self-citation (Crary) (Correct)
....expressed in the form of certified code, in which the executable code is accompanied by a certificate proving that the code is safe. The steward then verifies that the certificate is valid before permitting the code to be executed. The form of certified code used in the prototype ConCert system [7] is Typed Assembly Language (TAL) 19, 18] as implemented in the TALx86 system [17] which was developed primarily at Cornell. TALx86 specializes TAL to the Intel IA 32 architecture [14] and enhances it with a number of constructs not supported in the theoretical system. Although certified ....
Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, and Frank Pfenning. Trustless grid computing in ConCert. Technical Report CMUCS -02-152, Carnegie Mellon University, School of Computer Science, June 2002.
A Metalogical Approach to Foundational Certified Code - Crary, Sarkar (2003) (2 citations) Self-citation (Crary) (Correct)
....software from developers they do not know or trust, and may not have even heard of. This has limited the practical use of grid computing to the small number of potential users that have been able to obtain the trust of thousands of computer owners they do not know. The ConCert project at CMU [6] is seeking to overcome this obstacle by developing a system for trustless dissemination of software. In the ConCert framework, a machine owner installs a steward program that ensures the safety of any downloaded software. When a new grid application is obtained for execution (other parts of the ....
Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, and Frank Pfenning. Trustless grid computing in ConCert. In Third International Workshop on Grid Computing, pages 112--125, Baltimore, Maryland, November 2002.
Toward a Foundational Typed Assembly Language - Crary (2002) (18 citations) Self-citation (Crary) (Correct)
....is expressed in the form of certified code, in which the executable code is accompanied by a certificate proving that the code is safe. The steward then verifies that the certificate is valid before permitting the code to be executed. The form of certified code used in the prototype ConCert system [7] is Typed Assembly Language (TAL) 20, 19] as implemented in the TALx86 system [18] which was developed primarily at Cornell. TALx86 specializes TAL to the Intel IA 32 architecture [15] and enhances it with a number of constructs not supported in the theoretical system. Although certified ....
Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, and Frank Pfenning. Trustless grid computing in ConCert. Technical Report CMU-CS-02-152, Carnegie Mellon University, School of Computer Science, June 2002.
Towards a Functional Library for Fault-Tolerant Grid.. - Chang, DeLap, Liszka, .. (2002) Self-citation (Chang Crary Delap Harper Liszka Vii Pfenning) (Correct)
No context found.
Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, and Frank Pfenning. Trustless grid computing in ConCert. Technical Report CMU-CS-02-152, Carnegie Mellon University, June 2002. Submitted to GRID 2002.
Towards a Functional Library for Fault-Tolerant Grid.. - Chang, DeLap, Liszka, .. (2002) Self-citation (Chang Crary Delap Harper Liszka Vii Pfenning) (Correct)
No context found.
Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, and Frank Pfenning. Trustless grid computing in ConCert. Technical Report CMU-CS-02-152, Carnegie Mellon University, June 2002. Submitted to GRID 2002.
VXA: A Virtual Architecture for Durable Compressed Archives - Bryan Ford Computer (Correct)
No context found.
B. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. Murphy VII, and F. Pfenning. Trustless grid computing in ConCert. In Workshop on Grid Computing, pages 112--125, Baltimore, MD, November 2002.
The Logical Approach to Stack Typing - Ahmed, Walker (2003) (7 citations) (Correct)
No context found.
B.-Y. E. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. M. VII, and F. Pfenning. Trustless grid computing in Concert. In GRID 2002.
Managing Heterogeneity in a Grid Parallel - Zain (Correct)
No context found.
B-Y. Evan Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. Murphy VII, and F. Pfenning. Trustless Grid Computing in ConCert. In In Proceedings of the GRID 2002 Workshop, volume 2536 of LNCS. Springer-Verlag, 2001.
VXA: A Virtual Architecture for Durable Compressed Archives - Ford (Correct)
No context found.
B. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. Murphy VII, and F. Pfenning. Trustless grid computing in ConCert. In Workshop on Grid Computing, pages 112--125, Baltimore, MD, November 2002.
The Logical Approach to Stack Typing - Ahmed, Walker (2003) (7 citations) (Correct)
No context found.
B.-Y. E. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. M. VII, and F. Pfenning. Trustless grid computing in Concert. In GRID 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC