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