Safe, Untrusted Agents Using Proof-Carrying Code

This publication has 11 references indexed in Scilit:

• The design and implementation of a certifying compiler
  Published by Association for Computing Machinery (ACM) ,1998
• Extensibility safety and performance in the SPIN operating system
  Published by Association for Computing Machinery (ACM) ,1995
• Elf: A meta-language for deductive systems
  Published by Springer Nature ,1994
• A framework for defining logics
  Journal of the ACM, 1993
• Efficient software-based fault isolation
  Published by Association for Computing Machinery (ACM) ,1993
• PVS: A prototype verification system
  Lecture Notes in Computer Science, 1992
• Constructions: A higher order proof system for mechanizing mathematics
  Published by Springer Nature ,1985
• Simplification by Cooperating Decision Procedures
  ACM Transactions on Programming Languages and Systems, 1979
• Stanford Pascal Verifier User Manual
  Published by Defense Technical Information Center (DTIC) ,1979
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975