Centre for High Assurance Computing Excellence (CHACE)
BlackBerry Security R&D is dedicated to applied security research for a connected digital world, including mobile devices, cloud services, and the Internet of Things (IoT).
To further this commitment, BlackBerry created the Centre for High Assurance Computing Excellence. CHACE works in collaboration with universities and other leading organizations, with a mission to change the security world from one of reaction and patching to one of proactive and cost-effective vulnerability prevention.
Focus areas of CHACE include:
- Automated methods for detecting flaws and proving security properties: formal methods and model checking, abstract interpretation, fuzzing, and other static and dynamic analysis methods
- Automated testing approaches: code coverage and unit test generation
- Automated enforcement of software quality requirements and metrics: checking complexity of code, adequate comments, hygienic and defensive coding standards
- Nation-state level sophistication in vulnerability assessment and reverse engineering