Proof Carrying Code Zhiwei Lin Outline Proof-Carrying Code The Design and Implementation of a Certifying Compiler A Proof â Carrying Code Architecture for Java A Certifying…