Proof-carrying code (abstract): design, implementation and applications

Authors:
George C. Necula
Affiliations:
University of California, Berkeley
Venue:
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Year:
2000

Proof-carrying code

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The design and implementation of a certifying compiler

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
From system F to typed assembly language

ACM Transactions on Programming Languages and Systems (TOPLAS)
Proof-carrying authentication

CCS '99 Proceedings of the 6th ACM conference on Computer and communications security
Java Virtual Machine Specification

Java Virtual Machine Specification
Efficient Representation and Validation of Proofs

LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Compiling with proofs

Compiling with proofs

Secure data preservers forweb services

WebApps'11 Proceedings of the 2nd USENIX conference on Web application development

Hi-index	0.00