logo
Tool specific news: Company    Testwell CMT++/CMTJava    Testwell CTC++    CodeSentry    CodeSonar    Imagix    Events/Seminars    ALL NEWS




GrammaTech President Thomas Reps Elected to Academia Europaea

(Ithaca, New York/USA, 24 October 2013)

GrammaTech, Inc., announced that Europe´s foremost thought-leadership academy, the Academia Europaea, has elected Dr. Thomas Reps, President and Co-Founder of GrammaTech, to be a foreign member in the Informatics division. Academy members rarely include scholars who are residents in other regions of the world. Only nine from 3,000 members of the Informatics division are from the United States.
"The invitation by Academia Europaea honors Tom´s ground breaking research on automated program analysis, computer security, and model checking based on his work at University of Wisconsin and GrammaTech," stated fellow member of the academy, Prof. Dr. Dr. h.c. Reinhard Wilhelm of the Saarland University in Saarbrücken, Germany.
The Academy´s mission is to encourage the highest possible standards in scholarship, research, and education, while promoting interdisciplinary and international research in all areas of learning.

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

(Ithaca, New York/USA, 19 August 2013)

GrammaTech 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. 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.
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.