McAfee is an R&D centre that focuses on corporate cybersecurity products. McAfee contributes to the development of language for the specifications of quantitative requirements and analysis techniques for quantitative contracts (with University of Leicester and University of Buenos Aires) and mechanical generation of test cases, with particular emphasis on security aspects of APIs (with University of Kent, University of Leicester, University of Buenos Aires).