The Formal Requirements and Information Security Enhancement (FRAISE) Research Group focuses on developing and applying a range of formally based techniques for enhancing information confidentiality and specifying and analysing software requirements. The group includes researchers that deal with software product families, modelling and detection of covert channels, analysis of confidentiality policies, key distribution, key distribution in networks of sensors, lattice based cryptography, requirements of secure systems, and security in software product families.

The FRAISE Research Group is open to and encourages industry-university partnerships that allow industry access to quality research services at subsidized costs as well as to highly trained potential future employees in software development and security.