Information Assurance Institute

The AFRL/Cornell Information Assurance Institute (IAI) was started this spring with a $1M grant from the Air Force Office of Scientific Research (AFOSR). The Institute is intended to support a broad spectrum of research aimed at developing a science and technology base to enhance
information assurance and networked information systems trustworthiness. This includes problems in system and network security, reliability, and assurance. Thus, IAI leverages
Cornell's traditional strengths in formal methods and assurance and our strengths in fault-tolerant distributed system design. IAI also provides support for the department's
language-based security group, where our researchers are at the forefront of exploring how technology and theory from the field of programming languages can be used in specifying and
enforcing security policies. Not only is IAI expected to foster closer collaborations between researchers at Cornell and at the Air Force Research  Laboratories in Rome, NY, but other
partners -- industrial and government -- are also being sought.