Research Sponsors

	Air Force Research Laboratory (Rome) View Contracts
	Air Force Research Laboratory (Wright Paterson) Anti-Tamper/Software Protection Initiative (AT-SPI) View Contracts
	Air Force Research Laboratory (Wright Paterson) View Contracts
	Defense Advanced Research Projects Agency (DARPA) View Contracts
	Department of Homeland Security (DHS) Homeland Security Advanced Research Projects Agency (HSARPA) View Contracts
	Missile Defense Agency (MDA) View Contracts
	National Aeronautics and Space Administration (NASA) View Contracts
	National Institute of Standards and Technology (NIST) View Contracts
	National Science Foundation (NSF) View Contracts
	United States Army View Contracts
	United States Navy (USN) View Contracts
	United States Navy (USN) Office of Naval Research (ONR) View Contracts

The Synthesizer Generator, Ada-ASSURED, Ada-Utilities, and SmashProof are trademarks of GrammaTech, Inc. CodeSurfer and CodeSonar are registered trademarks of GrammaTech, Inc.