By Reason and Authority: A System for Authorization of Proof-Carrying Code

Nathan Whitehead
George C. Necula
CSFW (2004), pp. 236-250

Abstract

×