Wednesday, 5 March 2014

Formal Methods - Key to New FireEye R&D Centre

FireEye, an advanced cyber attack prevention specialist, has announced the official opening of a research and development (R&D) centre in Dresden, Germany, for tomorrow. The FireEye European R&D team will conduct advanced mathematical research through techniques known as 'formal methods' to validate the security of the FireEye endpoint technology. The centre will initially host 15 researchers and has partnered with Technische Universit├Ąt Dresden according to CBR - How One Company is Using Maths to Beat the Hackers.

It's good to see formal methods - the mathematical techniques used to verify safety-critical software - being applied to security in a commercial setting. Malvern-based company D-RISQ are also applying formal methods technology based on many years of research.