Information Assurance Laboratory
The Information Assurance Laboratory (IAL) focuses on developing, verifying and fielding high-assurance information systems. Its purpose is to provide a University-wide focal point for those involved in information assurance research, education and implementation. IAL faculty and students perform research including theoretical modeling, high-assurance system synthesis and verification, security modeling and analysis, network security, and database security. IAL faculty manage and implement the MSIT program in information security as well as teach information assurance principles throughout the University. Finally, IAL staff affiliates are responsible for developing and implementing information security across the University.