Good Things About PCC

6. Can be easy-to-use, out-of-the-way.

7. You can still be a “hero theorem hacker” if you want.

8. Proofs are a “semantic checksum”.

9. Possibility for richer safety policies.

10. Co-exists peacefully with crypto.

Previous slide

Next slide

Back to first slide

View graphic version