Skip to main navigation
Skip to search
Skip to main content
Princeton University Home
Help & FAQ
Home
Profiles
Research units
Facilities
Projects
Research output
Press/Media
Search by expertise, name or affiliation
Foundational proof-carrying code
A. W. Appel
Computer Science
Center for Information Technology Policy
Research output
:
Contribution to conference
›
Paper
›
peer-review
213
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Foundational proof-carrying code'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
runtime system
100%
Language Program
100%
Machine Language
100%
Engineering Problem
100%
Mechanical Verification
100%
Mathematical Problem
100%
Keyphrases
Proof-carrying Code
100%
Verifier
50%
Runtime Systems
25%
Language Programs
25%
Engineering Problems
25%
Safety Properties
25%
Machine Language
25%
Coding System
25%
Mechanical Verification
25%
Mathematical Problems
25%
Engineering
Engineering Problem
100%
Machine Language Program
100%