proof-carrying code

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf computer science concept
gptkbp:describes mechanism for ensuring code safety
gptkbp:field gptkb:programming_language
computer science
software security
https://www.w3.org/2000/01/rdf-schema#label proof-carrying code
gptkbp:introduced gptkb:George_Necula
gptkbp:introducedIn 1996
gptkbp:notablePublication gptkb:Proof-Carrying_Code_(George_Necula,_1997)
gptkbp:relatedTo gptkb:trusted_computing_base
formal verification
static analysis
type systems
bytecode verification
software certification
gptkbp:requires formal proof
gptkbp:usedFor enabling safe execution of untrusted code
ensuring code safety
verifying properties of code
gptkbp:bfsParent gptkb:logic
gptkbp:bfsLayer 4