GrammaTech, Inc., a leading maker of tools that improve and accelerate software development, today announced that the company has been selected by DARPA to participate in its Cyber Grand Challenge. Over 30 teams around the world have registered with DARPA to participate by creating high-performance computers to compete in the challenge. GrammaTech is one of 7 teams on a “proposal track,” invited and partially supported by DARPA to develop automated network-defense technology for the challenge.
The Cyber Grand Challenge is aimed at solving a major cyber-security issue that we are starting to face with alarming frequency – the reliance on expert programmers to uncover and repair weaknesses in an attacked system. Repairing weaknesses only after the system has been attacked, and after hackers have fully taken advantage of these weaknesses to steal data or otherwise impact processes, is dangerous for any system.
“We are pleased to have been selected to participate in the Cyber Grand Challenge because it’s a great opportunity for us to play a leading role in advancing the state-of-the-art in protecting software from malicious attack. We will be able to leverage several technologies developed previously by our research group,” GrammaTech CEO Tim Teitelbaum explained. “Importantly, we’ll also rely on our unique binary analysis technology that was recently introduced in CodeSonar, our leading commercial static analysis tool.”
GrammaTech’s team will include collaboration with leading researchers at the University of Virginia. The system will provide automatic and adaptive protection of a network service and automatically evaluate network defenses by generating proofs of vulnerability. Its autonomous cyber-reasoning component will be able to dynamically adapt, adjusting resource allocation in response to evolving circumstances.
Originally founded as a spin-off from Cornell University to commercialize software developed by Tim Teitelbaum and Thomas Reps at Cornell’s computer science lab, GrammaTech is a leading developer of software-assurance tools and advanced cyber-security solutions. GrammaTech’s tools are used by software developers worldwide, spanning a myriad of industries including avionics, medical, industrial control, and other applications where reliability and security are paramount. With both static and dynamic analysis techniques that analyze source code as well as binary executables, GrammaTech provides superior static analysis for better software.