Scaling Proof-Carrying Code to Production Compilers and Security Policies Andrew W. Appel Princeton University Edward W. Felten Princeton University Zhong Shao Yale University…