Webinar Tues, 8/11:Tools to Perform a Security Review on Unknown Code. Register Now

Sponsored Research

Our expertise in software analysis and binary transformation comes from decades of experience of high-tech research with defense, intelligence and civil agencies. Over the past two decades, we have solved solve some of the most complex software challenges that impact software resiliency, safety, and security. Our work has been focused in four areas, with additional work shared widely in the open source community:

  • Software Assurance: new techniques and technologies for analyzing and correcting software to ensure runtime integrity and prevent unplanned system breaches and failures.
  • Software Hardening: technologies solely focused on system resiliency.
  • Autonomic Computing: providing software systems with the ability to ‘self-protect.’
  • Reverse Engineering: helps cyber security teams to document and re-use the investigative process to evaluate software for cyber vulnerabilities.
  • Open Source Contributions: technologies shared widely in the open source community.

Download Datasheet


GrammaTech Research Clients

Advanced Solutions



Proteus

Discover potential vulnerabilities; recommend and apply patches; develop security policies; harden executable against residual, undiscovered vulnerabilities.

Download Datasheet

Reaffirm

Extract security-relevant components from firmware, present and rank them for the analyst, identify and isolate the hardware-coupled portions, and virtualize these for testing.

Download Datasheet

Debloat

Under ONR’s TPCP program GrammaTech has developed revolutionary tools for automated software protection through reduction, hardening, and diversification.

Download Datasheet

Discover

Extract a variety of machine code features that are characteristic of known vulnerabilities, and use statistical techniques to scan given software for presence of code pieces highly similar to known vulnerable code.

Download Datasheet

autonomic computing

Current and Completed Research Projects

Below is a listing of current and completed projects with our government sponsors, which highlights the areas in which we have a particular focus.

Air Force Research Laboratory (Rome)

Air Force Research Laboratory – Rome

AFRL-Rome

Current Projects:

Completed Projects:

Anti-Tamper/Software Protection Initiative

AFRL-SPI

Completed Projects:

Air Force Research Laboratory – Wright-Patterson

AFRL-WP

Current Projects:

  • Avionics Vulnerability Assessment Mitigation and Protection (AVAMP)

Completed Projects:

Air Force Research Laboratory – Kirtland AFB

AFRL-Kirtland AFB

Current Projects:

Completed Projects:


Defense Advanced Research Projects Agency

Defense Advanced Research Projects Agency

DARPA

Current Projects:

Completed Projects:


Department of Homeland Security Advanced Research Projects Agency

Department of Homeland Security (DHS)

Homeland Security Advanced Research Projects Agency (HSARPA)

Current Projects:

Completed Projects:


Missile Defense Agency

Department of Defense

DoD

Current Projects:


National Aeronautics and Space Administration

National Aeronautics and Space Administration

NASA

Completed Projects:


National Institute of Standards and Technology (NIST)

National Institute of Standards and Technology

NIST

Completed Projects:


National Science Foundation

National Science Foundation

NSF

Completed Projects:


Office of the Secretary of Defense

OSD

Current Projects:

  • Panorama: Recovering the High-Level Architecture of Embedded Systems

Completed Projects:

  • Obfuscation to Thwart Un-Trusted Hardware

United States Army

United States Army

Current Projects:

Completed Projects:


United States Navy

United States Navy

Current Projects:

Completed Projects:


United States Navy Office of Naval Research

United States Navy – Office of Naval Research

ONR

Current Projects:

Completed Projects:


Contact us for more information about our research.

Contact GrammaTech