• Home
  • Products
    • Enverite EDA
    • PV-Bit Verification
    • Trace Archiver
    • Benches Platform
  • News & Events
  • Values
  • Employment
    • Current Openings
    • Intern Program
  • About

Graf Research

  • Home
  • Products
    • Enverite EDA
    • PV-Bit Verification
    • Trace Archiver
    • Benches Platform
  • News & Events
  • Values
  • Employment
    • Current Openings
    • Intern Program
  • About
Graf Research Awarded Phase 2 SBIR: "CP-SMARTS: Cyber Physical Security for Mission-Aware Army Tactical Systems"

Graf Research Awarded Phase 2 SBIR: "CP-SMARTS: Cyber Physical Security for Mission-Aware Army Tactical Systems"


April 6, 2018
by Jonathan Graf

Graf Research will continue our work developing solutions that blend the needs of Mission Assurance with Cyber Physical Systems security under an additional $1M of Army/OSD funding.  We are proud to have Georgia Tech as a partner on this work, and we are happy to be funding both faculty and graduate student research positions through this collaboration.

150 georgia tech.png
150 SBIR Logo.png

Posted in Announcement, New Project
and
tagged with mission assurance, Cyber-Physical Systems Formal Methods; Model Checking; Mission Assurance, georgia tech
Newer
Older
Top
  • Contact Us - 540-613-1420 - Content Copyright 2025 Graf Research® Corporation