Proof-Carrying Code

• a code with its proof of safety

• Merits

  • no dynamic check
  • high expressiveness of safety policy

• Problems

  • proof generation
  • proof size

Previous slide

Next slide

Back to first slide

View graphic version