Code-Carrying Proofs Aytekin Vargun Rensselaer Polytechnic Institute Outline Introduction Proof-Carrying Code (PCC) Code-Carrying Proofs(CCP) Sample CCP session Future Work…