Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,207,797 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Broader (3)
Computer security
Formal methods
Programming language theory
Curry–Howard correspondence
Dependent type
Formal proof
Formal verification
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Proof Carrying Code using Algebraic Specifications
Nikolaos Triantafyllou
,
Katerina Ksystra
,
Petros S. Stefaneas
,
P. Frangos
2013
Corpus ID: 56459632
Proof Carrying Code is a methodology developed to establish trust between code consumer and producer. The latter formally proves…
Expand
2012
2012
Tseltal clause structure
K. Shklovsky
2012
Corpus ID: 170684254
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 2012.
Highly Cited
2008
Highly Cited
2008
Islanding Detection Using Proportional Power Spectral Density
Jun Yin
,
C. Diduch
,
Liuchen Chang
IEEE Transactions on Power Delivery
2008
Corpus ID: 26367034
Islanding detection and prevention is a mandatory requirement for grid-connected distributed-generation systems. In this paper…
Expand
Highly Cited
2006
Highly Cited
2006
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages
Ando Saabas
,
Tarmo Uustalu
SOS@ICALP
2006
Corpus ID: 1010548
2004
2004
Prototyping Proof Carrying Code
Martin Wildmoser
,
T. Nipkow
,
Gerwin Klein
,
Sebastian Nanz
IFIP TCS
2004
Corpus ID: 267829699
We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework…
Expand
2003
2003
Foundational proof-carrying code
A. 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
2003
2003
A portable Virtual Machine target for Proof-Carrying Code
M. Franz
,
Deepak Chandra
,
+4 authors
Ning Wang
Workshop on Interpreters, Virtual Machines and…
2003
Corpus ID: 8478481
Virtual Machines (VMs) and Proof-Carrying Code (PCC) are two techniques that have been used independently to provide safety for…
Expand
2003
2003
Avances en Proof-Carrying Code
Francisco Bavera
,
M. Nordio
,
Ricardo Medel
,
Jorge Aguirre
,
G. Baum
2003
Corpus ID: 169312370
Uno de los principales desafios en el diseno e implementacion de sistemas que involucran codigo movil es garantizar la seguridad…
Expand
2001
2001
A Scalable Architecture for Proof-Carrying Code
G. Necula
Fuji International Symposium on Functional and…
2001
Corpus ID: 18536735
Proof-Carrying Code (PCC) is a general mechanism for verifying that a code fragment can be executed safely on a host system. The…
Expand
1981
1981
Lipid Transport by Hemolymph Lipoprotein A Possible Multiple Role of Diacylglycerol Carrying Lipoprotein
H. Chino
1981
Corpus ID: 87287282
The predominant form in which lipid is transported from fat body is as diacylglycerol associated with a specific hemolymph…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE