Funding
SAFECode and the Secure Virtual Architecture have been funded by the following grants:
- AFRL Contract# FA8650-10-C-7022
- DoD MURI AF Subcontract UCB 00006769: "Hardware, Languages, and Architectures for Defense Against Hostile Operating Systems"
- A gift from Apple Computer, Inc.
- National Science Foundation Grants CNS 07-16768 and CNS 07-09122