SOURCE: GrammaTech

GrammaTech

August 19, 2013 07:00 ET

GrammaTech Selected by the U.S. Navy to Improve Software Security

Model-generation tool will allow developers to specify expected behavior in their code for enhanced protection against attacks on large and complex systems

ITHACA, NY--(Marketwired - Aug 19, 2013) - GrammaTech, Inc., a leading software developer specializing in software-assurance tools and cybersecurity solutions, today announced that it has been selected by the U.S. Navy to develop a tool that will provide computer systems with the ability to understand and react to malicious attacks and then continue running safely.

Protecting software from such attacks continues to be a challenge for critical systems. Since misbehaving software is not characterized by some universal pattern, it's difficult to actively monitor systems to detect breaches and respond to them. In this project, GrammaTech researchers will use a combination of automatic program analysis and manual tuning techniques to develop a tool for creating a model of a system's intended behavior, capturing its most important properties and determining what low level events must be tracked in order to observe the system's critical behavior.

"An important aspect of this tool is that it will be easy for developers to use," stated Tim Teitelbaum, GrammaTech's CEO. "As the developer codes, the tool will capture his or her notion of what behavior is expected by creating a model that specifies a boundary the application shouldn't cross. Our runtime monitors will then look for any unexpected behavior and take corrective action, even if the application has been compromised."

The development of this tool will provide security-critical systems with an extra layer of protection against attacks, including attacks that don't involve unusual system call activity. The technology will be immediately useful to branches of the government, financial institutions and any companies whose systems require strenuous security protection.

About GrammaTech and CodeSonar:
GrammaTech's static analysis tools are used worldwide by Fortune 500 companies, educational institutions, startups and government agencies. The staff includes 15 PhD experts in static analysis and a superb engineering team, all focused on creating the most innovative and in-depth analysis algorithms. The company's flagship product, CodeSonar, is a sophisticated static analysis tool that performs a whole-program, interprocedural analysis on C/C++, Java and binary code, identifying complex programming bugs that can result in serious reliability or security problems. More information about CodeSonar can be found on our website at http://www.grammatech.com/codesonar.

Contact Information

  • Media Contact:
    Barbara Stewart
    Patterson & Associates
    480-488-6909
    Email Contact