Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Proof-carrying code

Known as: PCC, Proof carrying code 
Proof-carrying code (PCC) is a software mechanism that allows a host system to verify properties about an application via a formal proof that… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Proof-Carrying Code (PCC) is a technique that can be used for safe execution of untrusted code. In a typical instance of PCC, a… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2011
Highly Cited
2011
This paper describes proof-carrying code (PCC), a mechanism by which a host system can determine with certainty that it is safe… Expand
Is this relevant?
2005
2005
Out of annotated programs proof carrying code systems construct and prove verification conditions that guarantee a given safety… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 7
Is this relevant?
2004
2004
We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework… Expand
  • figure 1
  • figure 2
Is this relevant?
2003
2003
  • Andrew W. Appel
  • Foundations of Intrusion Tolerant Systems…
  • 2003
  • Corpus ID: 63500238
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the… Expand
Is this relevant?
2002
2002
Proof-carrying code (PCC) is a framework for ensuring that untrusted programs are safe to install and execute. When using PCC… Expand
Is this relevant?
2002
2002
Proof-Carrying Code (PCC) is a general mechanism for verifying that a code fragment can be executed safely on a host system. The… Expand
  • figure 1
  • figure 3
  • figure 6
  • figure 10
  • figure 11
Is this relevant?
Highly Cited
2001
Highly Cited
2001
  • Andrew W. Appel
  • Proceedings 16th Annual IEEE Symposium on Logic…
  • 2001
  • Corpus ID: 14537781
Proof-carrying code is a framework for the mechanical verification of safety properties of machine-language programs, but the… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The proofs of "traditional" proof carrying code (PCC) are type-specialized in the sense that they require axioms about a specific… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper describes proof-carrying code (PCC), a mechanism by which a host system can determine with certainty that it is safe… Expand
  • figure 1
  • figure 4
Is this relevant?