» AFRL-RomeAir Force Research Laboratory (Rome)
» AFRL-SPIAir Force Research Laboratory (Wright Paterson)
Anti-Tamper/Software Protection Initiative (AT-SPI)
» DARPADefense Advanced Research Projects Agency (DARPA)
» HSARPADepartment of Homeland Security (DHS)
Homeland Security Advanced Research Projects Agency (HSARPA)
» MDAMissile Defense Agency (MDA)
» NASANational Aeronautics and Space Administration (NASA)
» NISTNational Institute of Standards and Technology (NIST)
» NSFNational Science Foundation (NSF)
» ARMYUnited States Army
» NAVYUnited States Navy (USN)
» ONRUnited States Navy (USN)
Office of Naval Research (ONR)

National Institute of Standards and Technology (NIST)

Completed Projects

Inline Reference Monitors for Java Bytecode

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