Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Proof Carrying Code is a methodology developed to establish trust between code consumer and producer. The latter formally proves… 
2012
2012
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 2012. 
Highly Cited
2008
Highly Cited
2008
Islanding detection and prevention is a mandatory requirement for grid-connected distributed-generation systems. In this paper… 
Highly Cited
2006
2004
2004
We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework… 
2003
2003
  • A. Appel
  • 2003
  • Corpus ID: 63500238
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the… 
2003
2003
Virtual Machines (VMs) and Proof-Carrying Code (PCC) are two techniques that have been used independently to provide safety for… 
2003
2003
Uno de los principales desafios en el diseno e implementacion de sistemas que involucran codigo movil es garantizar la seguridad… 
2001
2001
Proof-Carrying Code (PCC) is a general mechanism for verifying that a code fragment can be executed safely on a host system. The… 
1981
1981
The predominant form in which lipid is transported from fat body is as diacylglycerol associated with a specific hemolymph…