Scaling Proof-Carrying Code to Production Compilers and Security Policies

2005 ◽  
Author(s):  
Andrew W. Appel ◽  
Edward W. Felton ◽  
David P. Walker ◽  
Zhong Shao ◽  
Valery Trifonov
Keyword(s):  
Economica ◽  
1990 ◽  
Vol 57 (226) ◽  
pp. 274
Author(s):  
Nicholas Barr ◽  
Margaret S. Gordon

Sign in / Sign up

Export Citation Format

Share Document