GRAMMATECH INC
US UEI CBXRSPNRF8F9 · SME
132public awards
$50.8Mtotal public funding
2024-11-27latest award
State aid awards (132)
| Date | Amount | Type | Programme | Granted by |
|---|---|---|---|---|
| 2024-11-27 | $1.9M | Grant | REAFFIRM: Reverse Engineer, Analyze, and Fix Firmware | Department of Defense |
| 2024-09-25 | $2.0M | Grant | Scalpel-Debloat | Department of Defense |
| 2023-07-18 | $146k | Grant | FPGA Hardening Against Vulnerabilities and Radiation Effects | Department of Defense |
| 2023-02-28 | $1.5M | Grant | CRAM: C++ to Rust Assisted Migration PH2 | Department of Defense |
| 2022-12-09 | $150k | Grant | Automated Malware Generation for Avionics Cyber Resiliency | Department of Defense |
| 2022-10-06 | $150k | Grant | BREW: Binary Rewriting Evolution Workbench | Department of Defense |
| 2021-09-09 | $225k | Grant | CRAM: C++ to Rust Assisted Migration | Department of Defense |
| 2020-12-02 | $100k | Grant | AMBER (Automatic Monitoring [and Mitigation] with Block-chain-Enabled | Department of Defense |
| 2020-07-30 | $2.0M | Grant | FPGA Vulnerability Analysis Tools | Department of Defense |
| 2019-06-03 | $140k | Grant | FPGA Vulnerability Analysis Tools | Department of Defense |
| 2019-02-11 | $150k | Grant | In-Flight Rapid Cyber Diagnostics and Response for Mission Assurance | Department of Defense |
| 2018-09-20 | $750k | Grant | Non Destructive Trusted FPGA Verification | Department of Defense |
| 2018-08-29 | $105k | Grant | Decompilation-Enhanced Binary Static Analysis | Department of Defense |
| 2018-05-02 | $150k | Grant | Data Sandboxing for Software Binaries | Department of Defense |
| 2017-09-13 | $750k | Grant | WARP: Weaving Application-specific Runtime Policies | Department of Defense |
| 2017-09-05 | $150k | Grant | Non Destructive Trusted FPGA Verification | Department of Defense |
| 2017-08-31 | $1.0M | Grant | Scalpel: Retrofitting Code into Firmware Images | Department of Defense |
| 2017-08-09 | $150k | Grant | GRASP: A Policy-enforcement Framework for iOS (CIMCA) | Department of Defense |
| 2017-07-31 | $1.5M | Grant | Building Trustworthy Software Systems using Big Code | Department of Defense |
| 2017-03-21 | $1.5M | Grant | BugInjector: Injecting Vulnerabilities for Configurable Cyber Defense | Department of Defense |
| 2017-02-06 | $1,000k | Grant | Automated Explotability Reasoning | Department of Defense |
| 2016-11-07 | $100k | Grant | Security Assurance of Heterogeneous Software Systems | Department of Defense |
| 2016-10-27 | $750k | Grant | Virtual Trusted Platform Module (vTPM) | Department of Defense |
| 2016-09-29 | $750k | Grant | Multi-Abstractions System Reasoning Infrastructure toward Achieving Ad | Department of Homeland Security |
| 2016-07-18 | $150k | Grant | WARP: Weaving Application-specific Runtime Policies in Embedded System | Department of Defense |
| 2016-07-11 | $150k | Grant | Panorama: Recovering the High-Level Architecture of Embedded Systems | Department of Defense |
| 2016-07-11 | $150k | Grant | Scalpel: Inserting Code into Firmware Images | Department of Defense |
| 2016-06-28 | $150k | Grant | Embedded Computing Cyber Testing and Assessment Methods | Department of Defense |
| 2016-06-09 | $150k | Grant | Discover: Critical Vulnerability Discovery Using Big Code | Department of Defense |
| 2016-05-03 | $100k | Grant | Malware Prediction | Department of Homeland Security |
| 2016-03-30 | $150k | Grant | Graft: Grafting Vulnerabilities for Configurable Cyber Defense | Department of Defense |
| 2015-09-28 | $1.5M | Grant | Progressive Model Generation for Adaptive Resilient System Software | Department of Defense |
| 2015-09-16 | $750k | Grant | ANTSSAnalysis Tools for System Surety | Department of Defense |
| 2015-07-29 | $150k | Grant | Automated Explotability Reasoning | Department of Defense |
| 2015-07-29 | $150k | Grant | Virtual Trusted Platform Module (vTPM) | Department of Defense |
| 2015-07-06 | $80k | Grant | Cyber Resiliency for Critical Cyber Physical Systems | Department of Defense |
| 2014-09-16 | $1.3M | Grant | Multi-Abstractions System Reasoning Infrastructure toward Achieving Ad | Department of Defense |
| 2014-09-04 | $150k | Grant | Obfuscation to Thwart Un-Trusted Hardware | Department of Defense |
| 2014-09-01 | $100k | Grant | GenPatcher: Automatically Evolving Invulnerable Systems | Department of Homeland Security |
| 2014-06-25 | $150k | Grant | Fault Isolation in Hypervisors with Live Migration | Department of Defense |
| 2014-06-20 | $150k | Grant | ANTSS Analysis Tools for System Surety | Department of Defense |
| 2014-05-19 | $1.5M | Grant | Automatic Detection and Patching of Vulnerabilities in Embedded System | Department of Defense |
| 2014-04-24 | $750k | Grant | Specification Editing and Discovery Assistant | National Aeronautics and Space Administration |
| 2013-09-27 | $487k | Grant | Deterministic Detection for Hijacked Program Execution | Department of Defense |
| 2013-09-27 | $959k | Grant | Enhancing Code Awareness in Software Development Environment | Department of Defense |
| 2013-07-01 | $80k | Grant | Progressive Model Generation for Adaptive Resilient System Software | Department of Defense |
| 2013-06-17 | $100k | Grant | Automatic Detection and Patching of Vulnerabilities in Embedded System | Department of Defense |
| 2013-05-23 | $125k | Grant | Specification Editing and Discovery Assistant | National Aeronautics and Space Administration |
| 2013-03-13 | $150k | Grant | Multi-Abstractions System Reasoning Infrastructure toward Achieving Ad | Department of Defense |
| 2012-05-14 | $150k | Grant | Deterministic Detection for Hijacked Program Execution | Department of Defense |
| 2012-05-07 | $150k | Grant | Enhancing Code Awareness in Software Development Environment | Department of Defense |
| 2012-04-12 | $750k | Grant | Stealth and Real-time Program Execution Monitoring | Department of Defense |
| 2012-02-01 | $750k | Grant | Prioritization of Weapon System Software Assurance Assessment | Department of Defense |
| 2011-09-15 | $750k | Grant | Mathematically Rigorous Methods for Determining Software Quality | Department of Defense |
| 2011-05-09 | $80k | Grant | Stealth and Real-time Program Execution Monitoring | Department of Defense |
| 2011-05-03 | $750k | Grant | Automatic Artificial Diversity for Virtual Machines | Department of Defense |
| 2011-02-18 | $100k | Grant | Continuous Integrated Invariant Inference | National Aeronautics and Space Administration |
| 2011-02-07 | $100k | Grant | Field Programmable Gate Array (FPGA) Physical Unclonable Functions | Department of Defense |
| 2011-01-19 | $100k | Grant | Prioritization of Weapon System Software Assurance Assessment | Department of Defense |
| 2010-06-28 | $100k | Grant | Mathematically Rigorous Methods for Determining Software Quality | Department of Defense |
| 2010-05-03 | $100k | Grant | Antitamper Technology for Missile Defense | Department of Defense |
| 2010-04-30 | $100k | Grant | Information Assurance | Department of Defense |
| 2010-04-07 | $750k | Grant | Software System Reliability Analysis | Department of Defense |
| 2010-03-16 | $749k | Grant | Static Analysis of Multi-Core Applications | Department of Defense |
| 2010-02-25 | $100k | Grant | Automatic Artificial Diversity for Virtual Machines | Department of Defense |
| 2009-12-29 | $713k | Grant | Deep Understanding of Complex High-Assurance Hypervisor Source Code | Department of Defense |
| 2009-11-09 | $100k | Grant | Software Protection to Fight through an Attack | Department of Defense |
| 2009-10-08 | $750k | Grant | Covert Loading and Execution of Software Protections to Reduce Adversa | Department of Defense |
| 2009-09-14 | $730k | Grant | Immersive Environments for Visualizing Software Tradeoffs | Department of Defense |
| 2009-01-01 | $100k | Grant | Concolic Testing with Metronome | Department of Homeland Security |
| 2009-01-01 | $100k | Grant | CodeSonar with Metronome | Department of Homeland Security |
| 2008-06-23 | $100k | Grant | Covert Loading and Execution of Software Protections to Reduce Adversa | Department of Defense |
| 2008-06-03 | $100k | Grant | Deep Understanding of Complex High-Assurance Hypervisor Source Code | Department of Defense |
| 2008-05-14 | $80k | Grant | Graphical Trace Object (GTO) Tool | Department of Defense |
| 2008-02-20 | $750k | Grant | Software Protection to Deter Malicious Forensic Data Collection and Ex | Department of Defense |
| 2008-01-15 | $99k | Grant | Static Analysis of Multi-Core Applications | Department of Defense |
| 2007-12-01 | $600k | Grant | Static Detection of Bugs in Embedded Software Using Lightweight Verifi | National Aeronautics and Space Administration |
| 2007-07-31 | $750k | Grant | Deobfuscating tools for the validation and verification of tamper-proo | Department of Defense |
| 2007-05-03 | $100k | Grant | Error-handling paths and policies analysis | Department of Defense |
| 2007-04-13 | $100k | Grant | Software System Reliability Analysis | Department of Defense |
| 2007-01-30 | $100k | Grant | Software Protection through Specialized Commodity Processors | Department of Defense |
| 2007-01-30 | $100k | Grant | Light-weight Virtualization as a Defense against Reverse Engineering | Department of Defense |
| 2007-01-29 | $100k | Grant | Software Protection to Deter Malicious Forensic Data Collection and Ex | Department of Defense |
| 2007-01-29 | $100k | Grant | Hardware-assisted Software Anti-Tamper | Department of Defense |
| 2007-01-19 | $100k | Grant | Static Detection of Bugs in Embedded Software Using Lightweight Verifi | National Aeronautics and Space Administration |
| 2006-10-04 | $750k | Grant | Semantics-Aware Malware Detection | Department of Defense |
| 2006-09-13 | $1.4M | Grant | Software Anti-Tamper for Real-Time Systems | Department of Defense |
| 2006-09-05 | $100k | Grant | Information Retrieval Techniques for Software Design Visualization | Department of Defense |
| 2006-08-31 | $100k | Grant | Software Design Visualization | Department of Defense |
| 2006-07-26 | $100k | Grant | Deobfuscating tools for the validation and verification of tamper-proo | Department of Defense |
| 2006-07-26 | $100k | Grant | Reverse Engineering Kernel Mode Rootkits | Department of Defense |
| 2006-04-14 | $100k | Grant | Cognitive Techniques for Analysis of Complex Software Systems | Department of Defense |
| 2006-04-06 | $100k | Grant | Ballistic Missile Defense Innovative Anti-Tamper Techniques | Department of Defense |
| 2006-03-24 | $750k | Grant | Sanitizing Software of Malicious and Unauthorized Code | Department of Defense |
| 2006-01-01 | $750k | Grant | Run-Time Process Monitoring | Department of Defense |
| 2005-09-14 | $750k | Grant | Modernization of Legacy Software: Re-engineering Low-Level Code | Department of Defense |
| 2005-08-15 | $100k | Grant | Semantics-Aware Malware Detection | Department of Defense |
| 2005-04-27 | $750k | Grant | Static Analysis Tools for SWRL | Department of Defense |
| 2005-02-25 | $100k | Grant | Trace-Based Disassembly | Department of Defense |
| 2005-02-24 | $100k | Grant | Run-Time Process Monitoring | Department of Defense |
| 2005-02-24 | $100k | Grant | Sanitizing Software of Malicious and Unauthorized Code | Department of Defense |
| 2005-01-31 | $120k | Grant | Software Anti-Tamper for Real-Time Systems | Department of Defense |
| 2005-01-01 | $100k | Grant | SBIR Phase I: Defenses Against Malicious Code | National Science Foundation |
| 2004-12-01 | $80k | Grant | Tools for Software Architecture Visualization | Department of Defense |
| 2004-06-23 | $764k | Grant | Defenses Against Reverse Engineering | Department of Defense |
| 2004-04-27 | $750k | Grant | A Refactoring Environment for Ada | Department of Defense |
| 2004-03-18 | $100k | Grant | Modernization of Legacy Software: Re-engineering Low-Level Code | Department of Defense |
| 2004-01-21 | $99k | Grant | Static Analysis of AI Systems | Department of Defense |
| 2003-01-01 | $0 | Grant | SBIR Phase II: An Aspect-Oriented Solution for Unit Test Generation | National Science Foundation |
| 2003-01-01 | $70k | Grant | Advanced Static Analysis for Software Assurance | Department of Defense |
| 2003-01-01 | $750k | Grant | Source Code Vulnerability Detection | Department of Defense |
| 2003-01-01 | $100k | Grant | Defenses against Reverse Engineering | Department of Defense |
| 2002-01-01 | $70k | Grant | Static Analysis for Automatic Differentiation | National Aeronautics and Space Administration |
| 2002-01-01 | $381k | Grant | Verification of Hierarchical Graph Structures | Department of Defense |
| 2002-01-01 | $750k | Grant | Detecting Malicious Code In Firmware | Department of Defense |
| 2002-01-01 | $100k | Grant | An Aspect-Oriented Solution for Unit Test Generation | National Science Foundation |
| 2002-01-01 | $70k | Grant | A Refactoring Environment for Ada | Department of Defense |
| 2002-01-01 | $100k | Grant | Source-Code Vulnerability Detection | Department of Defense |
| 2002-01-01 | $300k | Grant | Inlined Reference Monitors for Java Bytecode | Department of Commerce |
| 2002-01-01 | $70k | Grant | A Refactoring Environment for Incremental Migration of Legacy Code | National Aeronautics and Space Administration |
| 2001-01-01 | $100k | Grant | Detecting Malicious Code in Firmware | Department of Defense |
| 2001-01-01 | $70k | Grant | Data Network for Submarine Command, Control, Communication, and Comput | Department of Defense |
| 2001-01-01 | $65k | Grant | A New Technique for Efficient Compression of Information | Department of Defense |
| 2001-01-01 | $99k | Grant | Verification of Hierarchical Graph Structures | Department of Defense |
| 2001-01-01 | $100k | Grant | SBIR Phase I: Dependence Graphs for Internet Technologies | National Science Foundation |
| 2001-01-01 | $75k | Grant | Inlined Reference Monitors for Java Bytecode | Department of Commerce |
| 2000-01-01 | $99k | Grant | Not Available | Department of Defense |
| 1999-01-01 | $750k | Grant | Not Available | Department of Defense |
| 1997-01-01 | $99k | Grant | Multi-Lingual Components for Reverse Engineering | Department of Defense |
| 1996-01-01 | $300k | Grant | User-interfaces for Rule-Based Formal-Methods Environments | Department of Defense |
| 1995-01-01 | $70k | Grant | User-interfaces for Rule-Based Formal-Methods Environments | Department of Defense |
| 1989-01-01 | $50k | Grant | LANGUAGE BASED SOFTWARE ENVIRONMENTS | Department of Defense |
Want an alert when companies like this one get funded in your sector? Pro waitlist →