Nathan Whitehead Martín Abadi George C. Necula By Reason and Authority: A System for Authorization of Proof-Carrying Code. 236-250 2004 conf/csfw/2004 CSFW http://doi.ieeecomputersociety.org/10.1109/CSFW.2004.6 db/conf/csfw/csfw2004.html#WhiteheadAN04