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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1977-2017
0102019772017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
Proof Carrying Code (PCC) is a technique to exclude safety errors in low level code. Instead of runtime tests, it statically… (More)
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
Is this relevant?
2005
2005
Proof Carrying Code is a general principle that supports to transfer code from an untrusted producer over an untrusted channel to… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2005
2005
Out of annotated programs proof carrying code systems construct and prove verification conditions that guarantee a given safety… (More)
  • 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… (More)
  • figure 1
  • figure 2
Is this relevant?
2003
2003
Proof-Carrying Code (PCC) is a general mechanism for verifying that a code fragment can be executed safely on a host system. The… (More)
  • figure 1
  • figure 3
  • figure 6
  • figure 10
  • figure 11
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Proof-carrying code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are… (More)
  • figure 2
  • figure 4
  • figure 5
  • figure 6
  • figure 8
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the… (More)
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… (More)
  • figure 1
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Proof-Carrying Code (PCC) enables a computer system to determine, automatically and with certainty, that program code provided by… (More)
  • figure 2
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… (More)
Is this relevant?