• Center for High Assurance Computer Systems
  • Code 5541 COMSEC Systems
  • Code 5542 Computer Security
  • Code 5543 Formal Methods
  • Code 5544 Network Security
  • Code 5546 Software Engineering
• Main Page
• Projects
  • Flying Squirrel
• Collaborations
• Publications
• Contact Us

Code 5545 Collaborations

Sponsors

• Office of Naval Research
• National Security Agency
• Naval Network Warfare Command
• Defense Advanced Research Projects Agency
• Defense Information Systems Agency

Universities

• Oklahoma State University
• University of Maryland, College Park
• George Mason University